Corradini, Andrea; Gadducci, Fabio; Kahl, Wolfram; König, Barbara:

Inequational Deduction as Term Graph Rewriting

In: Electronic Notes in Theoretical Computer Science. - Proceedings of the First International Workshop on Term Graph Rewriting (TERMGRAPH 2002), Jg. 72 (2007) ; Nr. 1, S. 31 - 44
ISSN: 1571-0661
Zeitschriftenaufsatz / Fach: Informatik