Skip to content

The Equivalences Problems for Binary EOL-Systems are Decidable.

Marek Karpinski

VenueBFCT
Year1977
ProceedingsFCT

Browse the full FCT paper archive.