Skip to content

Undecidability of Semi-Unification on a Napkin.

Andrej Dudenhefner

VenueBFSCD
Year2020
ProceedingsFSCD

Browse the full FSCD paper archive.