Skip to content

When are Two Rewrite Systems More than None?

Nachum Dershowitz

VenueBMFCS
Year1997
ProceedingsMFCS

Browse the full MFCS paper archive.