Login / Signup

Functions-as-constructors higher-order unification: extended pattern unification.

Tomer LibalDale Miller
Published in: Ann. Math. Artif. Intell. (2022)
Keyphrases