Rewrite Systems with Abstraction and beta-Rule: Types, Approximants and Normalization.

Steffen van Bakel Franco Barbanera Maribel Fernández

Published in: ESOP (1996)

Keyphrases

rewrite systems
active rules
high level
term rewriting
information systems
knuth bendix
database
query language
software engineering
programming language
classification rules
active databases