Login / Signup

Strict Basic Superposition.

Leo BachmairHarald Ganzinger
Published in: CADE (1998)
Keyphrases
  • theorem proving
  • decision making
  • lower bound
  • database
  • image processing
  • xml documents