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

First Page		Document Content
Date: 2016-09-11 10:17:32		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 Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 682,10 KB Share Document on Facebook