The Π0 2-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity)
by
Jakob Grue Simonsen
| Citations: | 2 - 0 self |
Document Versions
| The Π0 2-Completeness of Most of the Properties of Rewriting Systems You Care About (and Productivity) –Jakob Grue Simonsen |
