Login / Signup

SbReve2: A Term Rewriting Laboratory with (AC-) Unfailing Completion.

Siva AnantharamanJieh HsiangJalel Mzali
Published in: RTA (1989)
Keyphrases
  • term rewriting
  • knuth bendix
  • theorem proving
  • theorem prover
  • rewrite systems
  • operational semantics
  • arc consistency
  • virtual laboratory
  • reinforcement learning
  • cooperative
  • semi supervised
  • natural language processing