Publication:4401928
From MaRDI portal
zbMath0277.02010MaRDI QIDQ4401928
Jeanne Ferrante, Charles W. Rackoff
Publication date: 1974
03B25: Decidability of theories and sets of sentences
Related Items
zbMath0277.02010MaRDI QIDQ4401928
Jeanne Ferrante, Charles W. Rackoff
Publication date: 1974
03B25: Decidability of theories and sets of sentences
Related Items