Dependency Tree Automata
From MaRDI portal
Publication:3617723
DOI10.1007/978-3-642-00596-1_8zbMath1234.03025MaRDI QIDQ3617723
Publication date: 31 March 2009
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00596-1_8
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
03B40: Combinatory logic and lambda calculus
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A Game-Theoretic Approach to Deciding Higher-Order Matching
- Automata and Logics for Words and Trees over an Infinite Alphabet
- Adding Nesting Structure to Words
- Completeness, invariance and λ-definability
- Decidability of fourth-order matching
- Computer Science Logic
- Languages of Nested Trees