Universal Algebra for Computer Scientists
Buch in deiner Nähe kaufen
Beschreibung
A new model-theoretic approach to universal algebra for computer scientists is offered in this book. The approach covers algebraic characterization, term rewriting systems, and fixpoint methods. The book is self-contained and suitable both as a graduate text and as a reference for researchers.
Autor*in
Wolfgang Wechler
Themen in »Universal Algebra for Computer Scientists«
Abstrakter Datentyp Algebraic Semantics Algebraische Semantik Algebraische Spezifikation Fixpiont Methods Fixpunkt (Math.) Notation Termersetzung algebra computer science development semantics term rewriting data structures