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¨ onigAdd to Reading ListSource URL: cl-informatik.uibk.ac.atDownload Document from Source WebsiteFile Size: 682,10 KBShare Document on Facebook |