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

by Jakob Grue Simonsen
Citations:5 - 0 self