Skip to content

AC-Unification of Higher-Order Patterns.

Alexandre Boudet, Evelyne Contejean

VenueACP
Year1997
ProceedingsCP

Browse the full CP paper archive.