A Proof Theory for General Unification by W. Snyder (English) Paperback Book
74,89 €
1: Introduction. - 2: Preview. - 3: Preliminaries. - 3.1 Algebraic Background. - 3.2 Substitutions. - 3.3 Unification by Transformations on Systems. - 3.4 Equational Logic. - 4: E-Unification.
Jetzt bei Ebay:
