scientific article
From MaRDI portal
Publication:4063432
zbMath0306.02044MaRDI QIDQ4063432
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Complexity of Subcases of Presburger Arithmetic, On genuinely time bounded computations, A decision procedure for string constraints with string/integer conversion and flat regular constraints, Decision procedures for term algebras with integer constraints, Proof synthesis and reflection for linear arithmetic, Complexity of logical theories involving coprimality, The complexity of almost linear diophantine problems
