Skip to content

Thue Systems and the Church-Rosser Property.

Matthias Jantzen

VenueBMFCS
Year1984
ProceedingsMFCS

Browse the full MFCS paper archive.