scientific article; zbMATH DE number 1304321
From MaRDI portal
Publication:4251052
zbMath0924.03082MaRDI QIDQ4251052
Ronald de Wolf, Vesa Halava, Mika Hirvensalo
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Undecidability and degrees of sets of sentences (03D35) Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40)