Login / Signup

Unification of Higher-Order Patterns in Linear Time and Space.

Zhenyu Qian
Published in: J. Log. Comput. (1996)
Keyphrases