Structural Induction on Partial Algebras, II : Introduction to Theory and Application to Partial Algebras / H. Reichel.

Format:

Book

Author/Creator:

Reichel, H., author.

Series:

Mathematical research ; Volume 18.

Mathematical Research Series ; Volume 18

Language:

English

Subjects (All):

Partial algebras.

MATHEMATICS / Algebra / General.

Physical Description:

1 online resource (212 pages)

Edition:

First edition.

Place of Publication:

Berlin : Akademie-Verlag, [1984]

Contents:

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

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

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

Notes:

Includes bibliographical references and index.

Description based on print version record.

ISBN:

9783112529041

3112529049

OCLC:

1350572318