Universal Algebra and Applications in Theoretical Computer Science

Universal Algebra and Applications in Theoretical Computer Science introduces the concepts of universal algebra, surveys some of the newer developments in the field, and offers a unique opportunity to build the foundation needed for further developments in the field. The first half of the book provides a solid grounding in the core material. A leisurely pace, careful exposition, numerous examples, and exercises combine to form an introduction to the subject ideal for beginning graduate students or researchers from other areas. The second half of the book focuses on applications in theoretical computer science and advanced topics, including Mal'cev conditions, tame congruence theory, and commutators.

List of contents

Basic Concepts. Galois Connections and Closures. Homomorphisms and Isomorphisms. Direct and Subdirect Products. Terms, Trees, and Polynomials. Identities and Varieties. Term Rewriting Systems. Algebraic Machines. Mal'cev-type Conditions. Clones and Completeness. Tame Congruence Theory. Term Condition and Commutator. Complete Sublattices. G-Clones and M-Solid Varieties. Hypersubstitutions and Machines. Bibliography. Index.

About the author

Denecke, Klaus; Wismath, Shelly L.

Summary

Introduces the basic concepts of universal algebra and surveys some of the developments in the field. This book focuses on applications in theoretical computer science and various topics, including Mal'cev conditions, tame congruence theory, clones, and commutators.

Product details

• Authors: Klaus Denecke, Denecke Klaus, Shelly L. Wismath, Wismath Shelly L.
• Publisher: Taylor and Francis
• Languages: English
• Product format: Hardback
• Released: 18.01.2002
• EAN: 9781584882541
• ISBN: 978-1-58488-254-1
• No. of pages: 396
• Dimensions: 156 mm x 234 mm x 32 mm
• Weight: 760 g
• Illustrations: schwarz-weiss Illustrationen
• Subjects: Natural sciences, medicine, IT, technology > Mathematics > Arithmetic, algebra; Algebra, MATHEMATICS / General, MATHEMATICS / Algebra / General, COMPUTERS / Programming / Algorithms, MATHEMATICS / Set Theory, computer science, algorithms and data structures, Discrete Mathematics, Algorithms & data structures, Set theory