Initial Computability, Algebraic Specifications, and Partial Algebras / / Horst Reichel.
Saved in:
| Superior document: | Title is part of eBook package: De Gruyter DGBA Mathematics - <1990 |
|---|---|
| VerfasserIn: | |
| Place / Publishing House: | Berlin ;, Boston : : De Gruyter, , [2022] ©1987 |
| Year of Publication: | 2022 |
| Edition: | Reprint 2021 |
| Language: | English |
| Online Access: | |
| Physical Description: | 1 online resource (226 p.) |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Other title: | Frontmatter -- Preface -- Contents -- Introduction -- 1. Specifications of abstract data types with partial operations -- 2. Equational partiality -- 3. Partial algebras defined by generators and relations -- 4. Canons — initially restricting algebraic theories -- 5. Canons of behaviour -- References -- Index |
|---|---|
| Format: | Mode of access: Internet via World Wide Web. |
| ISBN: | 9783112573426 9783110635881 |
| DOI: | 10.1515/9783112573426 |
| Access: | restricted access |
| Hierarchical level: | Monograph |
| Statement of Responsibility: | Horst Reichel. |