scientific article; zbMATH DE number 2051181
From MaRDI portal
Publication:4453473
zbMath1051.03033MaRDI QIDQ4453473
Publication date: 7 March 2004
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)
This page was built for publication:
