What is Unification? - A Categorical View of Substitution, Equation and Solution (1989)

Cached

Download Links

by Joseph A. Goguen
Venue:Resolution of Equations in Algebraic Structures, Volume 1: Algebraic Techniques
Citations:14 - 2 self