Skip to content

The Simplest Language Where Equivalence of Finite Substitutions Is Undecidable.

Michal Kunc

VenueBFCT
Year2007
ProceedingsFCT

Browse the full FCT paper archive.