Login / Signup

A Gap Between Linear and Non Linear Term-Rewriting Systems (1).

Max DauchetFrancesco De Comité
Published in: RTA (1987)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • database