Login / Signup

Second-Order Unification in the Presence of Linear Shallow Algebraic Equations (Extended Abstract).

Zhenyu Qian
Published in: CTRS (1990)
Keyphrases