Back to Results
First PageMeta Content



Termination of term graph rewriting Hans Zantema Technische Universiteit Eindhoven and Radboud Universiteit Nijmegen Joined work with Dennis Nolte and Barbara K¨ onig
Add to Reading List

Document Date: 2016-09-11 10:17:32


Open Document

File Size: 682,10 KB

Share Result on Facebook
UPDATE