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
Dieser Eintrag ist freigegeben.