Title: What is unification?
First published: 1988
Subjects: Numerical solutions, Categories (Mathematics), Equations, Formal languages
LC classification: QA169 .G63 1988