The following pages link to (Q4063432):
Displaying 7 items.
- The complexity of almost linear diophantine problems (Q753494) (← links)
- Proof synthesis and reflection for linear arithmetic (Q945055) (← links)
- Complexity of logical theories involving coprimality (Q1202924) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- Complexity of Subcases of Presburger Arithmetic (Q3340842) (← links)
- On genuinely time bounded computations (Q5096139) (← links)
- A decision procedure for string constraints with string/integer conversion and flat regular constraints (Q6150112) (← links)
