collaborators

1 paper

cs.LO2025

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories

Daniele Nantes-Sobrinho, Manfred Schmidt-Schauss, Alexander Baumgartner +1

Generalization problems in languages with binders involve computing the most common structure between expressions while respecting bound variable renaming and freshness constraints…