Login / Signup

Constructor Equivalent Term Rewriting Systems are Strongly Sequential: A Direct Proof.

Irène DurandBruno Salinier
Published in: Inf. Process. Lett. (1994)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • artificial intelligence
  • inference rules
  • theorem proving