{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:14Z","timestamp":1725663914440},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540578673"},{"type":"electronic","value":"9783540483618"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57867-6_12","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T08:31:52Z","timestamp":1330245112000},"page":"207-219","source":"Crossref","is-referenced-by-count":0,"title":["2-Categorical specification of partial algebras"],"prefix":"10.1007","author":[{"given":"Martin","family":"Gro\u00dfe-Rhode","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Wolter","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Michael Barr and Charles Wells. Toposes, triples, and theories. Springer Verlag, 1985.","DOI":"10.1007\/978-1-4899-0021-0"},{"key":"12_CR2","unstructured":"Ingo Cla\u00dfen, Martin Gro\u00dfe-Rhode, and Uwe Wolter. Categorical concepts for parameterized partial specifications. Technical Report 92-42, TU Berlin, 1992."},{"key":"12_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/S0004972700044828","volume":"7","author":"P. Freyd","year":"1972","unstructured":"Peter Freyd. Aspects of topoi. Bull. Austr. Math. Soc., (7):1\u201372, 1972.","journal-title":"Bull. Austr. Math. Soc."},{"key":"12_CR4","first-page":"467","volume":"8","author":"P. Freyd","year":"1973","unstructured":"Peter Freyd. Aspects of topoi, corrections. Bull. Austr. Math. Soc., (8):467\u2013480, 1973.","journal-title":"Bull. Austr. Math. Soc."},{"key":"12_CR5","doi-asserted-by":"crossref","unstructured":"P. Gabriel and F. Ulmer. Lokal pr\u00e4sentierbare Kategorien. Springer Lecture Notes in Mathematics 221, 1971.","DOI":"10.1007\/BFb0059396"},{"key":"12_CR6","unstructured":"P. T. Johnstone. Topos Theory. Academic Press, 1977."},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1017\/S0004972700002781","volume":"39","author":"G. M. Kelly","year":"1989","unstructured":"G. M. Kelly. Elementary observations on 2-categorical limits. Bulletin Australian Mathematical Society, (39):301\u2013317, 1989.","journal-title":"Bulletin Australian Mathematical Society"},{"key":"12_CR8","unstructured":"H. Kaphengst and H. Reichel. Operative Theorien und Kategorien von operativen Systemen. In Studien zur Algebra und ihren Anwendungen. Akademie Verlag, 1972."},{"key":"12_CR9","unstructured":"J. Lambek and P. J. Scott. Introduction to higher order categorical logic. Cambridge studies in advanced mathematics. Cambridge University Press, 1986."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"M. Makkai and G.E. Reyes. First order categorical logic, volume 611 of Lecture Notes in Mathematics. Springer Verlag, 1977.","DOI":"10.1007\/BFb0066201"},{"key":"12_CR11","first-page":"76","volume":"240","author":"A. Poign\u00e9","year":"1985","unstructured":"Axel Poign\u00e9. Algebra categorically. Lecture Notes in Mathematics, (240):76\u2013102, 1985.","journal-title":"Lecture Notes in Mathematics"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"A.J. Power and Charles Wells. A formalism for the specification of essentially algebraic structures in 2-categories. Technical report, University of Edinburgh, 1991.","DOI":"10.1017\/S0960129500001110"},{"key":"12_CR13","unstructured":"R. A. G. Seely. Modeling computations: A 2-categorical framework. In Symposium on Logic in Computer Science, pages 65\u201371. IEEE, 1987."},{"issue":"2","key":"12_CR14","first-page":"85","volume":"27","author":"U. Wolter","year":"1990","unstructured":"Uwe Wolter. An algebraic approach to deduction in equational partial horn theories. J. Inf. Process. Cybern. EIK, 27(2):85\u2013128, 1990.","journal-title":"J. Inf. Process. Cybern. EIK"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Data Type Specification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57867-6_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:14:51Z","timestamp":1605629691000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57867-6_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540578673","9783540483618"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57867-6_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}