Universal Algebra for Computer Scientists - Couverture rigide

Wechler, Wolfgang

Couverture rigide

ISBN 10 : 3540542809 ISBN 13 : 9783540542803

Editeur : Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1992

Synopsis

Written for computer scientists, this volume offers a new model-theoretic approach to universal algebra and presents a systematic development of the methods of results of universal algebra that are useful in a variety of applications in computer science. The book is concerned with the algebraic characterization of axiomatic classes of algebras by closure operators generalizing the famous Birkhoff Variety Theorem and the algebraic characterization of related theories. The book also presents a study of term rewriting systems. Beside basic notions, the Knuth-Bendix completion procedure and terminal proof methods are considered. A third main topic is that of fixpoint techniques and complete ordered algebras. Algebraic specifications of abstract data types and algebraic semantics of recursive program schemes are treated as applications.

Détails de l'édition

• Éditeur: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Date d'édition: 1992
• Langue: anglais
• ISBN 10: 3540542809
• ISBN 13: 9783540542803
• Reliure: Relié
• Nombre de pages: 351
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible