Buch, Englisch, Band 25, 339 Seiten, Paperback, Format (B × H): 170 mm x 242 mm, Gewicht: 610 g
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
Buch, Englisch, Band 25, 339 Seiten, Paperback, Format (B × H): 170 mm x 242 mm, Gewicht: 610 g
Reihe: Monographs in Theoretical Computer Science. An EATCS Series
ISBN: 978-3-642-76773-9
Verlag: Springer
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
1 Preliminaries.- 1.1 Basic Notions.- 1.2 Generation, Structural Induction, Algebraic Recursion and Deductive Systems.- 1.3 Relations.- 1.4 Trees.- 1.5 ?-Complete Posets and Fixpoint Theorem.- 2 Reductions.- 2.1 Word Problem.- 2.2 Reduction Systems.- 3 Universal Algebra.- 3.1 Basic Constructions.- 3.2 Equationally Defined Classes of Algebras.- 3.3 Implicationally Defined Classes of Algebras.- 4 Applications.- 4.1 Algebraic Specification of Abstract Data Types.- 4.2 Algebraic Semantics of Recursive Program Schemes.- References.- Appendix 1: Sets and Classes.- Appendix 2: Ordered Algebras as First-Order Structures.