Publication:4318987
From MaRDI portal
zbMath0819.68081MaRDI QIDQ4318987
Publication date: 27 August 1995
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
Related Items
Fine hierarchies and m-reducibilities in theoretical computer science, A logical characterization of data languages., Algebraic tools for the concatenation product., Deciding regular grammar logics with converse through first-order logic, The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey