zbMATH — the first resource for mathematics

A completeness result for E-unification algorithms based on conditional narrowing. (English) Zbl 0645.68043
Foundations of logic and functional programming, Proc. Workshop, Trento/Italy 1986, Lect. Notes Comput. Sci. 306, 157-167 (1988).
For the entire collection see Zbl 0638.00037.

68Q65 Abstract data types; algebraic specification
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68Q60 Specification and verification (program logics, model checking, etc.)