Login / Signup

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

Colin Stirling
Published in: ICALP (2) (2006)
Keyphrases