Bounded Depth Data Trees

DOI10.1007/978-3-540-73420-8_74zbMath1171.68432OpenAlexW1886070468MaRDI QIDQ5428865

Mikołaj Bojańczyk, Henrik Björklund

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73420-8_74

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Data structures (68P05)

Related Items

Extending two-variable logic on data trees with order on data values and its automata, Model checking memoryful linear-time logics over one-counter automata