{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:48:30Z","timestamp":1725662910925},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540095101"},{"type":"electronic","value":"9783540351689"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1979]]},"DOI":"10.1007\/3-540-09510-1_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:43:01Z","timestamp":1330188181000},"page":"26-37","source":"Crossref","is-referenced-by-count":8,"title":["A characterization of abstract data as model-theoretic invariants"],"prefix":"10.1007","author":[{"given":"A.","family":"Bertoni","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Mauri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. A.","family":"Miglioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"3_CR1","unstructured":"Bertoni,A., Mauri,G., Miglioli,P.A., Model-theoretic aspects of abstract data specification, Colloquium on Mathematical Logic in Programming, Salgotarjan, 1978"},{"key":"3_CR2","volume-title":"Universal Algebra","author":"P. M. Cohn","year":"1965","unstructured":"Cohn, P.M., Universal Algebra, Harper and Row, New York, 1965"},{"key":"3_CR3","volume-title":"Handbook of Mathematical Logic","author":"P. C. Eklof","year":"1977","unstructured":"Eklof, P.C., Ultraproducts for algebraists, in \u2018Handbook of Mathematical Logic\u2019 (J. Barwise ed.), North-Holland, Amsterdam, 1977"},{"key":"3_CR4","unstructured":"Goguen,J.A., Thatcher,J.W., Wagner,E.G., An initial algebra approach to the specification, correctness and implementation of abstract data types, IBM Res. Rep. RC6487, Yorktown Heights, 1976"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Guttag,J.V., Abstract data types and the development of data structures, SIGPLAN Notices 8, 1976","DOI":"10.21236\/ADA029896"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Hardgrave,W.T., A technioue for implementing a set processor, SIGPLAN Notices 8, 1976","DOI":"10.1145\/800237.807126"},{"key":"3_CR7","unstructured":"Klaeren,H., Datenraume mit algebraischer struktur, Bericht Nr.43, Technische Hochschule Aachen, 1978"},{"key":"3_CR8","volume-title":"Model-theoretic invariants: applications to recursive and hyperarithmetic operations","author":"G. Kreisel","year":"1965","unstructured":"Kreisel, G., Model-theoretic invariants: applications to recursive and hyperarithmetic operations, Proc. Symp. on the theory of models, North-Holland, Amsterdam, 1965"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Liskov,B.H., Zilles,S.N., Programming with abstract data types, SIGPLAN Notices 6, 1974","DOI":"10.1145\/800233.807045"},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-9839-7","volume-title":"Categories for working mathematician","author":"S. Mac Lane","year":"1971","unstructured":"Mac Lane, S., Categories for working mathematician, Springer, Berlin, 1971"},{"key":"3_CR11","unstructured":"Majster,M.E., Limits of the algebraic specification of abstract data types, SIGPLAN Notices 9, 1977"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Oppen,D.C., Reasoning about recursively defined data structures, Res. Rep. STAN-CS-78-678, Stanford University, 1978","DOI":"10.1145\/512760.512776"},{"key":"3_CR13","volume-title":"Introduction to model theory and metamathematics of algebra","author":"A. Robinson","year":"1963","unstructured":"Robinson, A., Introduction to model theory and metamathematics of algebra, North-Holland, Amsterdam, 1963"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Thatcher,J.W., Wagner,E.G., Wright,J.B., Data type specification: parameterization and the power of specification techniques, Proc. SIGACT 10th Symp. on theory of computing, 1978","DOI":"10.1145\/800133.804340"},{"key":"3_CR15","series-title":"Project MAC Progress Report","volume-title":"Algebraic specification of data types","author":"S. N. Zilles","year":"1974","unstructured":"Zilles, S.N., Algebraic specification of data types, Project MAC Progress Report 11, MIT, Cambridge, Mass., 1974"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-09510-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:01:07Z","timestamp":1605643267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-09510-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1979]]},"ISBN":["9783540095101","9783540351689"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-09510-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1979]]}}}