Login / Signup

Omitting Quantifier-Free Types in Generic Structures.

Angus Macintyre
Published in: J. Symb. Log. (1972)
Keyphrases
  • quantifier free
  • first order logic
  • quantifier elimination
  • knowledge base
  • search space
  • rewrite systems