Universal Algebra and Applications in Theoretical Computer Science

Universal Algebra and Applications in Theoretical Computer Science
Author :
Publisher : CRC Press
Total Pages : 396
Release :
ISBN-10 : 9781482285833
ISBN-13 : 1482285835
Rating : 4/5 (835 Downloads)

Book Synopsis Universal Algebra and Applications in Theoretical Computer Science by : Klaus Denecke

Download or read book Universal Algebra and Applications in Theoretical Computer Science written by Klaus Denecke and published by CRC Press. This book was released on 2018-10-03 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal algebra both in richness and in applications, especially in computer science. Yet most of the classic books on the subject are long out of print and, to date, no other book has integrated these theories with the long-established work that supports them. Universal Algebra and Applications in Theoretical Computer Science introduces the basic concepts of universal algebra and surveys some of the newer 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, clones, and commutators. The impact of the advances in universal algebra on computer science is just beginning to be realized, and the field will undoubtedly continue to grow and mature. Universal Algebra and Applications in Theoretical Computer Science forms an outstanding text and offers a unique opportunity to build the foundation needed for further developments in its theory and in its computer science applications.


Universal Algebra and Applications in Theoretical Computer Science Related Books

Universal Algebra and Applications in Theoretical Computer Science
Language: en
Pages: 396
Authors: Klaus Denecke
Categories: Mathematics
Type: BOOK - Published: 2018-10-03 - Publisher: CRC Press

DOWNLOAD EBOOK

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal alg
Universal Algebra for Computer Scientists
Language: en
Pages: 345
Authors: Wolfgang Wechler
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the method
Universal Algebra and Applications in Theoretical Computer Science
Language: en
Pages: 400
Authors: Klaus Denecke
Categories: Mathematics
Type: BOOK - Published: 2002-01-18 - Publisher: CRC Press

DOWNLOAD EBOOK

Over the past 20 years, the emergence of clone theory, hyperequational theory, commutator theory and tame congruence theory has led to a growth of universal alg
Universal Algebra, Algebraic Logic, and Databases
Language: en
Pages: 462
Authors: Boris Isaakovich Plotkin
Categories: Computers
Type: BOOK - Published: 1994-01-31 - Publisher: Boom Koninklijke Uitgevers

DOWNLOAD EBOOK

Modern algebra, which not long ago seemed to be a science divorced from real life, now has numerous applications. Many fine algebraic structures are endowed wit
Foundations of Algebraic Specification and Formal Software Development
Language: en
Pages: 594
Authors: Donald Sannella
Categories: Computers
Type: BOOK - Published: 2012-01-05 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating