scientific article; zbMATH DE number 5051566
From MaRDI portal
Publication:5485993
zbMath1096.68667MaRDI QIDQ5485993
Wolfgang Thomas, Ina Schiering
Publication date: 6 September 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05)
Related Items (3)
A first-order logic characterization of safety and co-safety languages ⋮ A finite state intersection approach to propositional satisfiability ⋮ Regular sets over extended tree structures
This page was built for publication:
