Structural Induction on Partial Algebras, II
Introduction to Theory and Application to Partial Algebras
1st Edition
Published on 24. October 2022
212 pages
978-3-11-252904-1 (ISBN)
Description
No detailed description available for "Structural Induction on Partial Algebras, II".
More details
Other editions
Additional editions
H. Reichel
Structural Induction on Partial Algebras, II
Introduction to Theory and Application to Partial Algebras
Book
01/1985
Mathematical Research
€109.95
Shipment within 7-9 days
Content
- Intro
- PREFACE
- CONTENTS
- INTRODUCTION
- 1. SPECIFICATION OF ABSTRACT DATA TYPES WITH PARTIAL OPERATIONS
- 1.1. Abstract data types - ADT ' s
- 1.2. Parameterized abstract data types - PADT's
- 1.3. The definition of the- semantics of a functional language over arbitrary PADT's as a complex example
- 2. EQUATIONAL PARTIALITY
- Introduction
- 2.1 Set-theoretical Notions
- 2.2 Many-sorted Algebras
- 2.3 Equationally partial heterogeneous algebras
- 2.4 Hierarchy Conditions
- 2.5 hep-Varletles and hep-Quasi-Varietles
- 3. PARTIAL ALGEBRAS DEFINED BY GENERATORS AND RELATIONS
- Introduction
- 3.1 Derivabllity of elementary implicatione
- 3.2 Frse partial algebras
- 3.3 Partial quotient algebras
- 3.4 Theorem of Homomorphiems
- 3.5. Relatively free partial algebras
- 4 . CANONS - INITIALLY RESTRICTING ALGEBRAIC THEORIES
- Introduction
- 4.1 Canon Model Classes
- 4.2 Computability and Definability on parameterized abstract data types
- 4.3 Canon Morphisms
- REFERENCES
- TABLE OF NOTATIONS
- INDEX
