Skip to content

Termination of Rewriting is Undecidable in the One-Rule Case.

Max Dauchet

VenueBMFCS
Year1988
ProceedingsMFCS

Browse the full MFCS paper archive.