The following pages link to STACS 2005 (Q5710686):
Displaying 15 items.
- Regular languages of thin trees (Q290908) (← links)
- Aural pattern recognition experiments and the subregular hierarchy (Q438585) (← links)
- Regular sets over extended tree structures (Q764339) (← links)
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- A note on the characterization of TL [EF] (Q845961) (← links)
- Automata for XML -- a survey (Q878749) (← links)
- Quantifier hierarchies over the first-order definable tree languages (Q1924423) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Characterizing EF and EX tree logics (Q2503041) (← links)
- Regular tree languages, cardinality predicates, and addition-invariant FO (Q2904787) (← links)
- Regularity Equals Monadic Second-Order Definability for Quasi-trees (Q2947169) (← links)
- Algebra for Infinite Forests with an Application to the Temporal Logic EF (Q3184670) (← links)
- Characterization of Logics over Ranked Tree Languages (Q3540193) (← links)
- Games for Temporal Logics on Trees (Q3602814) (← links)
- Weak Separation Problem for Tree Languages (Q5859635) (← links)