Sciweavers

122
Voted
IJAC
2010
118views more  IJAC 2010»
14 years 11 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