First-Order Logic on CPDA Graphs

DOI10.1007/978-3-319-06686-8_23zbMath1392.68220OpenAlexW302044565MaRDI QIDQ4981168

Paweł Parys

Publication date: 24 June 2014

Published in: Computer Science - Theory and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-06686-8_23

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)

This page was built for publication: First-Order Logic on CPDA Graphs