Stock image for illustration purposes only - book cover, edition or condition may vary.
Universal Algebra for Computer Scientists
Wolfgang Wechler
€ 124.87
FREE Delivery in Ireland
Description for Universal Algebra for Computer Scientists
Paperback. Series: Monographs in Theoretical Computer Science : An Eatcs Series. Num Pages: 351 pages, 1 black & white illustrations, biography. BIC Classification: PBF; UMB; UMZ; UYAM. Category: (P) Professional & Vocational. Dimension: 242 x 170 x 19. Weight in Grams: 614.
A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The book also presents a thorough study of term rewriting systems. Besides basic notions, the Knuth-Bendix ... Read more
A new model-theoretic approach to universal algebra is offered in this book. Written for computer scientists, it presents a systematic development of the methods and results of universal algebra that are useful in a variety of applications in computer science. The notation is simple and the concepts are clearly presented. The book concerns the algebraic characterization of axiomatic classes of algebras (equational, implicational, and universal Horn classes) by closure operators generalizing the famous Birkhoff Variety Theorem, and the algebraic characterization of the related theories. The book also presents a thorough study of term rewriting systems. Besides basic notions, the Knuth-Bendix ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
351
Condition
New
Series
Monographs in Theoretical Computer Science : An Eatcs Series
Number of Pages
339
Place of Publication
Berlin, Germany
ISBN
9783642767739
SKU
V9783642767739
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Universal Algebra for Computer Scientists