scientific article; zbMATH DE number 2102757
From MaRDI portal
Publication:4818844
zbMath1045.03520MaRDI QIDQ4818844
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (1)
This page was built for publication: