Unranked Tree Automata with Sibling Equalities and Disequalities

DOI10.1007/978-3-540-73420-8_75zbMath1171.68530OpenAlexW1568363005MaRDI QIDQ5428866

Christof Löding, Wong Karianto

Publication date: 28 November 2007

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

Full work available at URL: http://publications.rwth-aachen.de/search?p=id:%22RWTH-CONV-008342%22

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)

Related Items (3)

One-variable context-free hedge automata ⋮ Tree Automata with Global Constraints ⋮ TAGED Approximations for Temporal Properties Model-Checking

This page was built for publication: Unranked Tree Automata with Sibling Equalities and Disequalities