Login / Signup

Termination is not Modular for Confluent Variable-Preserving Term Rewriting Systems.

Enno Ohlebusch
Published in: Inf. Process. Lett. (1995)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • active rules
  • artificial intelligence
  • high level
  • object oriented
  • logic programming