1423 search results - page 32 / 285 » Languages of Nested Trees |
102
Voted
SOFSEM
2005
Springer
15 years 8 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...
163
click to vote
TGC
2010
Springer
15 years 1 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...
79
Voted
NLPRS
2001
Springer
15 years 7 months ago
2001
Springer
