![](https://www.pdfsearch.io/img/7c68bf8a937e1c721ae041be33cccc7b.jpg) 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 Website File Size: 506,67 KBShare Document on Facebook
|