Login / Signup

A Compiler for a Class of Conditional Term Rewriting Systems.

Alfons GeserHeinrich HußmannAndreas Mück
Published in: CTRS (1987)
Keyphrases
  • term rewriting systems
  • artificial intelligence
  • logic programs
  • knowledge representation
  • programming language
  • distributed databases