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!
|
LEADER | 02500nam a22006375i 4500 | ||
---|---|---|---|
001 | 9783112573426 | ||
003 | DE-B1597 | ||
005 | 20220302035458.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr || |||||||| | ||
008 | 220302t20221987gw fo d z eng d | ||
020 | |a 9783112573426 | ||
024 | 7 | |a 10.1515/9783112573426 |2 doi | |
035 | |a (DE-B1597)607752 | ||
040 | |a DE-B1597 |b eng |c DE-B1597 |e rda | ||
041 | 0 | |a eng | |
044 | |a gw |c DE | ||
072 | 7 | |a NON000000 |2 bisacsh | |
100 | 1 | |a Reichel, Horst, |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
245 | 1 | 0 | |a Initial Computability, Algebraic Specifications, and Partial Algebras / |c Horst Reichel. |
250 | |a Reprint 2021 | ||
264 | 1 | |a Berlin ; |a Boston : |b De Gruyter, |c [2022] | |
264 | 4 | |c ©1987 | |
300 | |a 1 online resource (226 p.) | ||
336 | |a text |b txt |2 rdacontent | ||
337 | |a computer |b c |2 rdamedia | ||
338 | |a online resource |b cr |2 rdacarrier | ||
347 | |a text file |b PDF |2 rda | ||
505 | 0 | 0 | |t Frontmatter -- |t Preface -- |t Contents -- |t Introduction -- |t 1. Specifications of abstract data types with partial operations -- |t 2. Equational partiality -- |t 3. Partial algebras defined by generators and relations -- |t 4. Canons — initially restricting algebraic theories -- |t 5. Canons of behaviour -- |t References -- |t Index |
506 | 0 | |a restricted access |u http://purl.org/coar/access_right/c_16ec |f online access with authorization |2 star | |
538 | |a Mode of access: Internet via World Wide Web. | ||
546 | |a In English. | ||
588 | 0 | |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 02. Mrz 2022) | |
650 | 7 | |a NON-CLASSIFIABLE. |2 bisacsh | |
773 | 0 | 8 | |i Title is part of eBook package: |d De Gruyter |t DGBA Mathematics - <1990 |z 9783110635881 |o ZDB-23-GMA |
776 | 0 | |c print |z 9783112573419 | |
856 | 4 | 0 | |u https://doi.org/10.1515/9783112573426 |
856 | 4 | 0 | |u https://www.degruyter.com/isbn/9783112573426 |
856 | 4 | 2 | |3 Cover |u https://www.degruyter.com/document/cover/isbn/9783112573426/original |
912 | |a EBA_BACKALL | ||
912 | |a EBA_DGALL | ||
912 | |a EBA_EBACKALL | ||
912 | |a EBA_EBKALL | ||
912 | |a EBA_EEBKALL | ||
912 | |a EBA_ESSHALL | ||
912 | |a EBA_ESTMALL | ||
912 | |a EBA_SSHALL | ||
912 | |a EBA_STMALL | ||
912 | |a GBV-deGruyter-alles | ||
912 | |a PDA11SSHE | ||
912 | |a PDA12STME | ||
912 | |a PDA13ENGE | ||
912 | |a PDA17SSHEE | ||
912 | |a PDA18STMEE | ||
912 | |a PDA5EBK | ||
912 | |a ZDB-23-GMA |b 1990 |