×

zbMATH — the first resource for mathematics

Canonical forms and unification. (English) Zbl 0441.68108
Automated deduction, 5th Conf., Les Arcs/France 1980, Lect. Notes Comput. Sci. 87, 318-334 (1980).

MSC:
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B40 Combinatory logic and lambda calculus
08A99 Algebraic structures