scientific article; zbMATH DE number 1522564
From MaRDI portal
Publication:4510798
zbMath0956.03007MaRDI QIDQ4510798
Publication date: 13 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40)