scientific article; zbMATH DE number 1157651
From MaRDI portal
Publication:4391216
zbMath0900.03027MaRDI QIDQ4391216
Michael O. Rabin, Michael J. Fischer
Publication date: 13 September 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Collected or selected works; reprintings or translations of classics (01A75)
Related Items (2)
Between the Rings $${\mathbb Z}/p^n{\mathbb Z}$$ and the Ring $${\mathbb Z}_p$$: Issues of Axiomatizability, Definability and Decidability ⋮ Tarski’s Influence on Computer Science
This page was built for publication:
