Term Rewriting and Applications
From MaRDI portal
Publication:5703872
DOI10.1007/b135673zbMath1078.03035MaRDI QIDQ5703872
Iovka Boneva, Jean-Marc Talbot
Publication date: 11 November 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b135673
03D05: Automata and formal grammars in connection with logical questions
Related Items
Presburger Büchi tree automata with applications to logics with expressive counting, Automata for unordered trees, Schemas for unordered XML on a DIME, Alternating two-way AC-tree automata, Logics for unordered trees with data constraints, Complexity of modal logics with Presburger constraints