scientific article; zbMATH DE number 3435465

zbMath0277.02010MaRDI QIDQ4401928

Jeanne Ferrante, Charles W. Rackoff

Publication date: 1974

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25)

Related Items

A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic