Skip to content

Rewrite Orderings and Termination of Rewrite Systems.

Pierre Lescanne

VenueBMFCS
Year1991
ProceedingsMFCS

Browse the full MFCS paper archive.