Skip to content

Nominal Anti-Unification with Atom-Variables.

Manfred Schmidt-Schau, Daniele Nantes-Sobrinho

VenueBFSCD
Year2022
ProceedingsFSCD

Browse the full FSCD paper archive.