Synthesis problems for one-counter automata
From MaRDI portal
Publication:1675152
DOI10.1007/978-3-319-24537-9_9zbMATH Open1471.68118OpenAlexW2401071683MaRDI QIDQ1675152
Publication date: 27 October 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-24537-9_9
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) First-order arithmetic and fragments (03F30) Temporal logic (03B44)
Related Items (3)
One-counter automata for parsing and language approximation ⋮ Problems of synthesis of \(\Sigma\)-automata specified in languages LP and LF of first order logic ⋮ Positive existential Definability with unit, addition and coprimeness
This page was built for publication: Synthesis problems for one-counter automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1675152)
