Inequational Deduction as Term Graph Rewriting
Reference
Andrea Corradini, Fabio Gadducci, Wolfram Kahl, and Barbara König. Inequational deduction as term graph rewriting. In Proc. of TERMGRAPH '02 (International Workshop on Term Graph Rewriting), volume 72.1 of ENTCS, pages 31–44. Elsevier, 2007.
Abstract
Multi-algebras allow to model nondeterminism in an algebraic framework by interpreting operators as functions from individual arguments to sets of possible results. We propose a simple inequational deduction system, based on term graphs, for inferring inclusions of derived relations in a multi-algebra, and we show that term graph rewriting provides a sound and complete implementation of it.
Suggested BibTeX entry:
@inproceedings{CGKK02,
author = {Andrea Corradini and Fabio Gadducci and Wolfram Kahl and Barbara K{\"o}nig},
booktitle = {Proc. of TERMGRAPH '02 (International Workshop on Term Graph Rewriting)},
pages = {31-44},
publisher = {Elsevier},
series = {ENTCS},
title = {Inequational Deduction as Term Graph Rewriting},
volume = {72.1},
year = {2007}
}
