Universal Algebra for Computer Scientists: Vol 25 - Rilegato

Wechler, Wolfgang

Rilegato

ISBN 10: 3540542809 ISBN 13: 9783540542803

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

Riassunto

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.

Dettagli dell'edizione

• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
• Data di pubblicazione: 1992
• Lingua: Inglese
• ISBN 10: 3540542809
• ISBN 13: 9783540542803
• Rilegatura: Copertina rigida
• Numero di pagine: 351
• Contatto del produttore: non disponibile
• Persona responsabile: CMN Printpool Inh. Mathis Neumann; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; Germania