Skip to content

A Game-Theoretic Approach to Deciding Higher-Order Matching.

Colin Stirling

VenueA*ICALP
Year2006
ProceedingsICALP (2)

Browse the full ICALP paper archive.