B¨ohm Reduction for Terms and Term Graphs Patrick Bahr IT University of Copenhagen, Denmark Abstract Infinitary rewriting endows a rewriting system with a mode of convergence that assigns

First Page		Document Content
Date: 2017-09-12 04:41:19		B¨ohm Reduction for Terms and Term Graphs Patrick Bahr IT University of Copenhagen, Denmark Abstract Infinitary rewriting endows a rewriting system with a mode of convergence that assigns Add to Reading List Source URL: cl-informatik.uibk.ac.at Download Document from Source Website File Size: 81,87 KB Share Document on Facebook