A complete characterization of termination of \(0^p1^q\to 1^r0^s\)

From MaRDI portal
(Redirected from A complete characterization of termination of 0p¹^q 1r⁰^s)
A complete characterization of termination of \(0^p1^q\to 1^r0^s\)

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.