scientific article; zbMATH DE number 1024635

zbMath0876.68005MaRDI QIDQ4342495

Uwe Schoening

Publication date: 22 June 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational complexityautomatadecidabilityformal languages

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of computing (68Qxx) Computability and recursion theory (03Dxx)

Related Items

E-generalization using grammars, Domains for Computation in Mathematics, Physics and Exact Real Arithmetic, Notions of locality and their logical characterizations over finite models