1423 search results - page 32 / 285 » Languages of Nested Trees |
SOFSEM
2005
Springer
15 years 3 months ago
2005
Springer
We give a new characterization of those languages that are definable in fragments of LTL where the nesting depths of X and U modalities are bounded by given constants. This brings...
101
click to vote
TGC
2010
Springer
14 years 7 months ago
2010
Springer
We define an algebraic theory of hierarchical graphs, whose axioms characterise graph isomorphism: two terms are equated exactly when they represent the same graph. Our algebra can...
CICLING
2001
Springer
15 years 2 months ago
2001
Springer
NLPRS
2001
Springer
15 years 1 months ago
2001
Springer
ICALP
1997
Springer
15 years 1 months ago
1997
Springer
