UID:
almafu_9960890287402883
Format:
1 online resource (212 p.)
Edition:
Reprint 2021
ISBN:
9783112529041
Series Statement:
Mathematical Research : Mathematische Forschung ; 18
Note:
Frontmatter --
,
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 --
,
Backmatter
,
Issued also in print.
,
In English.
Additional Edition:
ISBN 9783112529034
Language:
English
DOI:
10.1515/9783112529041
URL:
https://doi.org/10.1515/9783112529041
URL:
https://www.degruyter.com/isbn/9783112529041
URL:
https://doi.org/10.1515/9783112529041
URL:
https://www.degruyter.com/isbn/9783112529041
URL:
https://doi.org/10.1515/9783112529041
URL:
https://www.degruyter.com/isbn/9783112529041
