Login / Signup

Computational complexity of quantifier-free negationless theory of field of rational numbers.

Nikolai Kossovski
Published in: Ann. Pure Appl. Log. (2001)
Keyphrases
  • quantifier free
  • computational complexity
  • real numbers
  • quantifier elimination
  • first order logic
  • rewrite systems
  • special case
  • expert systems
  • orders of magnitude
  • theorem prover