Login / Signup

Linear Higher-Order Matching Is NP-Complete.

Philippe de Groote
Published in: RTA (2000)
Keyphrases