Skip to content

Higher-Order Critical Pairs

Tobias Nipkow

VenueA*LICS
Year1991
ProceedingsLICS

Browse the full LICS paper archive.