{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T12:19:35Z","timestamp":1779365975684,"version":"3.53.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540781264","type":"print"},{"value":"9783540781271","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-78127-1_10","type":"book-chapter","created":{"date-parts":[[2008,2,7]],"date-time":"2008-02-07T12:59:40Z","timestamp":1202389180000},"page":"166-178","source":"Crossref","is-referenced-by-count":5,"title":["Fields, Meadows and Abstract Data Types"],"prefix":"10.1007","author":[{"given":"Jan","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yoram","family":"Hirshfeld","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Bergman, G.M.: An Invitation to General Algebra and Universal Constructions. Henry Helson (1998)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., Tucker, J.V.: The rational numbers as an abstract data type. J. ACM\u00a054(2), Article 7 (April 2007)","DOI":"10.1145\/1219092.1219095"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Burris, S.N., Sankappanavar, H.P.: A Course in Universal Algebra, free online edition. Springer, Heidelberg (1981)","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"10_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-009-8399-1","volume-title":"Universal Algebra","author":"P.M. Cohn","year":"1981","unstructured":"Cohn, P.M.: Universal Algebra. D. Reidel Publishing, Dordrecht (1981)"},{"key":"10_CR5","first-page":"80","volume-title":"Current Trends in Programing Methodology, VI, Data Structuring","author":"J.A. Gougen","year":"1978","unstructured":"Gougen, J.A., Thacher, J.W., Wagner, E.G.: An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Yeh, R.T. (ed.) Current Trends in Programing Methodology, VI, Data Structuring, pp. 80\u2013149. Prentice Hall, Englewood Cliffs (1978)"},{"key":"10_CR6","unstructured":"Goodearl, K.R.: Von Neumann regular rings. Pitman, London, San Francisco, Melburne (1979)"},{"key":"10_CR7","unstructured":"Graetzer, G.: Universal Algebra. Hobby, David, and Ralph McKenzie (1988)"},{"key":"10_CR8","series-title":"and Teubner","volume-title":"Specification of Abstract Data Types","author":"J. Loeckx","year":"1996","unstructured":"Loeckx, J., Ehrich, H.D., Wolf, M.: Specification of Abstract Data Types. and Teubner. Wiley and Teubner, Chichester (1996)"},{"key":"10_CR9","volume-title":"Handbook of Logic in Computer Science","author":"J. Loeckx","year":"2000","unstructured":"Loeckx, J., Ehrich, H.-D., Wolf, M.: Algebraic specification of abstract data types. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Oxford University Press, Oxford (2000)"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Meinke, K., Tucker, J.V.: Universal Algebra. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of logic in computer science I, Mathematical structures, pp. 189\u2013411 (1992)","DOI":"10.1093\/oso\/9780198537359.003.0003"},{"key":"10_CR11","first-page":"394","volume":"26","author":"E.H. Moore","year":"1920","unstructured":"Moore, E.H.: On the reciprocal of the general algebraic matrix. Bulletin of the American Mathematical Society\u00a026, 394\u2013395 (1920)","journal-title":"Bulletin of the American Mathematical Society"},{"key":"10_CR12","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1017\/S0305004100030401","volume":"51","author":"R. Penrose","year":"1955","unstructured":"Penrose, R.: A generalized inverse for matrices. Proceedings of the Cambridge Philosophical Society\u00a051, 406\u2013413 (1955)","journal-title":"Proceedings of the Cambridge Philosophical Society"},{"key":"10_CR13","volume-title":"Continuous geometries","author":"J. Neumann von","year":"1960","unstructured":"von Neumann, J.: Continuous geometries. Princeton University Press, Princeton (1960)"},{"key":"10_CR14","doi-asserted-by":"publisher","first-page":"349","DOI":"10.2307\/1986226","volume":"6","author":"J.H. Maclagan-Wedderburn","year":"1905","unstructured":"Maclagan-Wedderburn, J.H.: A theorem on finite algebras. Transactions of the American Mathematical Society\u00a06, 349\u2013352 (1905)","journal-title":"Transactions of the American Mathematical Society"},{"key":"10_CR15","unstructured":"Wikipedia, Universal Algebra, http:\/\/en.wikipedia.org\/wiki\/Universal_algebra"},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Wirsing, M.: Algebraic Specification. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science. Formal Models and Sematics, vol.\u00a0B, Elsevier and MIT Press (1990)","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"container-title":["Lecture Notes in Computer Science","Pillars of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78127-1_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,22]],"date-time":"2024-02-22T06:18:56Z","timestamp":1708582736000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78127-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540781264","9783540781271"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78127-1_10","relation":{},"subject":[]}}