Login / Signup

Superposition with Simplification as a Desision Procedure for the Monadic Class with Equality.

Leo BachmairHarald GanzingerUwe Waldmann
Published in: Kurt Gödel Colloquium (1993)
Keyphrases
  • multiresolution
  • search algorithm
  • neural network
  • information retrieval
  • genetic algorithm
  • artificial intelligence
  • computer vision
  • clustering algorithm
  • special case
  • datalog queries