Login / Signup

COMTES - An Experimental Environment for the Completion of Term Rewriting Systems.

Jürgen AvenhausKlaus MadlenerJoachim Steinbach
Published in: RTA (1989)
Keyphrases
  • term rewriting systems
  • mobile robot
  • database
  • real time
  • logic programs
  • dynamic environments
  • machine learning
  • multi agent
  • relational databases
  • virtual world