2 search results - page 1 / 1 » Algebra for Infinite Forests with an Application to the Temp... |
CONCUR
2009
Springer
13 years 9 months ago
2009
Springer
We define an extension of forest algebra for -forests. We show how the standard algebraic notions (free object, syntactic algebra, morphisms, etc.) extend to the infinite case. To ...
LICS
2009
IEEE
14 years 4 days ago
2009
IEEE
—We use the recently developed theory of forest algebras to find algebraic characterizations of the languages of unranked trees and forests definable in various logics. These i...