Corradini, Andrea; Gadducci, Fabio; Kahl, Wolfram; König, Barbara:
Inequational Deduction as Term Graph Rewriting
2007
In: Electronic Notes in Theoretical Computer Science. - Proceedings of the First International Workshop on Term Graph Rewriting (TERMGRAPH 2002), Jg. 72 (2007), Heft 1, S. 31 - 44
Artikel/Aufsatz in Zeitschrift / Fach: Informatik
Titel:
Inequational Deduction as Term Graph Rewriting
Autor(in):
Corradini, Andrea; Gadducci, Fabio; Kahl, Wolfram; König, Barbara im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen
Erscheinungsjahr
2007
Erschienen in:
Electronic Notes in Theoretical Computer Science. - Proceedings of the First International Workshop on Term Graph Rewriting (TERMGRAPH 2002), Jg. 72 (2007), Heft 1, S. 31 - 44
ISSN
WWW URL