scientific article; zbMATH DE number 6767614
From MaRDI portal
Publication:5351976
DOI10.4230/LIPIcs.CSL.2015.487zbMath1373.03015MaRDI QIDQ5351976
Publication date: 31 August 2017
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items
Nested antichains for WS1S, Lazy Automata Techniques for WS1S, Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure, Automata terms in a lazy \(\mathrm{WS}k\mathrm{S}\) decision procedure
Uses Software