The Π0 2-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)

View PDF

Download Links

by Jakob Grue Simonsen
Citations:5 - 0 self