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

Cached

Download Links

by Jakob Grue Simonsen
Citations:4 - 0 self