Feasible Automata for Two-Variable Logic with Successor on Data Words
From MaRDI portal
Publication:2890205
DOI10.1007/978-3-642-28332-1_30zbMath1351.03026arXiv1110.1221OpenAlexW1878133323MaRDI QIDQ2890205
Thomas Schwentick, Ahmet Kara, Tony Tan
Publication date: 8 June 2012
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1110.1221
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items (4)
On temporal logics with data variable quantifications: decidability and complexity ⋮ Extending two-variable logic on data trees with order on data values and its automata ⋮ Weak and Nested Class Memory Automata ⋮ A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours
This page was built for publication: Feasible Automata for Two-Variable Logic with Successor on Data Words
