First Page | Document Content | |
---|---|---|
Date: 2017-09-12 04:41:19 | B¨ohm Reduction for Terms and Term Graphs Confluence in Infinitary Rewriting Patrick Bahr IT University of CopenhagenAdd to Reading ListSource URL: cl-informatik.uibk.ac.atDownload Document from Source WebsiteFile Size: 506,67 KBShare Document on Facebook |