Inequational Deduction as Term Graph Rewriting


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.


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:

    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}

GZipped PostScript (128 kB)PDF (220 kB)
© University of Duisburg-Essen, Theoretical Computer Science group