The Rewriting Calculus as a Combinatory Reduction System.

Clara Bertolissi Claude Kirchner

Published in: FoSSaCS (2007)

Keyphrases

rewrite rules
reduction method
real time
real world
databases
artificial intelligence
information systems
data structure