UID:
almahu_9949462145602882
Umfang:
1 online resource (212 p.)
Ausgabe:
Reprint 2021
ISBN:
9783112529041
,
9783110635881
Serie:
Mathematical Research : Mathematische Forschung ; 18
Anmerkung:
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.
,
Mode of access: Internet via World Wide Web.
,
In English.
In:
DGBA Mathematics - 〈1990, De Gruyter, 9783110635881
Weitere Ausg.:
ISBN 9783112529034
Sprache:
Englisch
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
Bookmarklink