Publication:4063432
From MaRDI portal
zbMath0306.02044MaRDI QIDQ4063432
Publication date: 1973
03B25: Decidability of theories and sets of sentences
Related Items
The complexity of almost linear diophantine problems, Proof synthesis and reflection for linear arithmetic, Complexity of logical theories involving coprimality, Decision procedures for term algebras with integer constraints, Complexity of Subcases of Presburger Arithmetic