Sciweavers

IJAC
2010
118views more  IJAC 2010»
13 years 2 months ago
Algebraic Characterization of Logically Defined Tree Languages
We give an algebraic characterization of the tree languages that are defined by logical formulas using certain Lindstr
Zoltán Ésik, Pascal Weil