{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:10:21Z","timestamp":1725567021049},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540354628"},{"type":"electronic","value":"9783540354642"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11780274_24","type":"book-chapter","created":{"date-parts":[[2006,6,20]],"date-time":"2006-06-20T06:50:32Z","timestamp":1150786232000},"page":"459-475","source":"Crossref","is-referenced-by-count":2,"title":["Elementary Algebraic Specifications of the Rational Complex Numbers"],"prefix":"10.1007","author":[{"given":"Jan A.","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"427","DOI":"10.1016\/S0304-3975(01)00189-X","volume":"275","author":"J. Adamek","year":"2002","unstructured":"Adamek, J., Hebert, M., Rosicky, J.: On abstract data types presented by multiequations. Theoretical Computer Science\u00a0275, 427\u2013462 (2002)","journal-title":"Theoretical Computer Science"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/S0019-9958(82)80021-1","volume":"54","author":"J.A. Bergstra","year":"1982","unstructured":"Bergstra, J.A., Tucker, J.V.: The completeness of the algebraic specification methods for data types. Information and Control\u00a054, 186\u2013200 (1982)","journal-title":"Information and Control"},{"key":"24_CR3","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1137\/0212024","volume":"12","author":"J.A. Bergstra","year":"1983","unstructured":"Bergstra, J.A., Tucker, J.V.: Initial and final algebra semantics for data type specifications: two characterisation theorems. SIAM Journal on Computing\u00a012, 366\u2013387 (1983)","journal-title":"SIAM Journal on Computing"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(87)90123-X","volume":"50","author":"J.A. Bergstra","year":"1987","unstructured":"Bergstra, J.A., Tucker, J.V.: Algebraic specifications of computable and semicomputable data types. Theoretical Computer Science\u00a050, 137\u2013181 (1987)","journal-title":"Theoretical Computer Science"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"1194","DOI":"10.1145\/227683.227687","volume":"42","author":"J.A. Bergstra","year":"1995","unstructured":"Bergstra, J.A., Tucker, J.V.: Equational specifications, complete term rewriting systems, and computable and semicomputable algebras. Journal of ACM\u00a042, 1194\u20131230 (1995)","journal-title":"Journal of ACM"},{"key":"24_CR6","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0168-0072(94)00038-5","volume":"73","author":"J.A. Bergstra","year":"1995","unstructured":"Bergstra, J.A., Tucker, J.V.: The data type variety of stack algebras. Annals of Pure and Applied Logic\u00a073, 11\u201336 (1995)","journal-title":"Annals of Pure and Applied Logic"},{"key":"24_CR7","unstructured":"Bergstra, J.A., Tucker, J.V.: The rational numbers as an abstract data type (submitted)"},{"key":"24_CR8","unstructured":"Bergstra, J.A., Tucker, J.V.: On fields and meadows of finite characteristic (submitted)"},{"key":"24_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1007\/11780342_5","volume-title":"Logical Approaches to Computational Barriers","author":"J.A. Bergstra","year":"2006","unstructured":"Bergstra, J.A.: Elementary algebraic specifications of the rational function field. In: Beckmann, A., Berger, U., L\u00f6we, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol.\u00a03988, pp. 40\u201354. Springer, Heidelberg (2006)"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"360","DOI":"10.2307\/2589182","volume":"107","author":"N. Calkin","year":"2000","unstructured":"Calkin, N., Wilf, H.S.: Recounting the rationals. American Mathematical Monthly\u00a0107, 360\u2013363 (2000)","journal-title":"American Mathematical Monthly"},{"key":"24_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/3-540-62950-5_64","volume-title":"Rewriting Techniques and Applications","author":"E. Contejean","year":"1997","unstructured":"Contejean, E., Marche, C., Rabehasaina, L.: Rewrite systems for natural, integral, and rational arithmetic. In: Comon, H. (ed.) RTA 1997. LNCS, vol.\u00a01232, pp. 98\u2013112. Springer, Heidelberg (1997)"},{"key":"24_CR12","volume-title":"Galois theory","author":"H. Edwards","year":"1984","unstructured":"Edwards, H.: Galois theory. Springer, Heidelberg (1984)"},{"key":"24_CR13","first-page":"96","volume":"36","author":"J.A. Goguen","year":"1989","unstructured":"Goguen, J.A.: Memories of ADJ. Bulletin of the European Association for Theoretical Computer Science\u00a036, 96\u2013102 (1989)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: A categorical manifesto. Mathematical Structures in Computer Science, vol.\u00a01, pp. 49\u201367 (1991)","DOI":"10.1017\/S0960129500000050"},{"key":"24_CR15","first-page":"93","volume-title":"People and ideas in theoretical computer science","author":"J.A. Goguen","year":"1999","unstructured":"Goguen, J.A.: Tossing algebraic flowers down the great divide. In: Calude, C.S. (ed.) People and ideas in theoretical computer science, Singapore, pp. 93\u2013129. Springer, Heidelberg (1999)"},{"key":"24_CR16","first-page":"459","volume-title":"Algebraic methods in semantics","author":"J. Meseguer","year":"1986","unstructured":"Meseguer, J., Goguen, J.A.: Initiality, induction, and computability. In: Nivat, M. (ed.) Algebraic methods in semantics, pp. 459\u2013541. Cambridge University Press, Cambridge (1986)"},{"key":"24_CR17","first-page":"66","volume":"30","author":"J. Meseguer","year":"1986","unstructured":"Meseguer, J., Goguen, J.A.: Remarks on remarks on many-sorted algebras with possibly emtpy carrier sets. Bulletin of the EATCS\u00a030, 66\u201373 (1986)","journal-title":"Bulletin of the EATCS"},{"key":"24_CR18","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1017\/S0960129500000517","volume":"4","author":"J.A. Goguen","year":"1994","unstructured":"Goguen, J.A., Diaconescu, R.: An Oxford Survey of Order Sorted Algebra. Mathematical Structures in Computer Science\u00a04, 363\u2013392 (1994)","journal-title":"Mathematical Structures in Computer Science"},{"key":"24_CR19","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1145\/321992.321997","volume":"24","author":"J.A. Goguen","year":"1977","unstructured":"Goguen, J.A., Thatcher, J.W., Wagner, E.G., Wright, J.B.: Initial algebra semantics and continuous algebras. Journal of ACM\u00a024, 68\u201395 (1977)","journal-title":"Journal of ACM"},{"key":"24_CR20","first-page":"80","volume-title":"Current trends in programming methodology. IV. Data structuring","author":"J.A. Goguen","year":"1978","unstructured":"Goguen, J.A., Thatcher, 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 programming methodology. IV. Data structuring, pp. 80\u2013149. Prentice-Hall, Englewood Cliffs (1978)"},{"key":"24_CR21","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511551574","volume-title":"Model Theory","author":"W. Hodges","year":"1993","unstructured":"Hodges, W.: Model Theory. Cambridge University Press, Cambridge (1993)"},{"issue":"3","key":"24_CR22","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1145\/988071.988075","volume":"14","author":"S. Kamin","year":"1979","unstructured":"Kamin, S.: Some definitions for algebraic data type specifications. SIGLAN Notices\u00a014(3), 28 (1979)","journal-title":"SIGLAN Notices"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Khoussainov, B.: Randomness, computability, and algebraic specifications. Annals of Pure and Applied Logic, 1\u201315 (1998)","DOI":"10.1016\/S0168-0072(97)00040-7"},{"key":"24_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1007\/978-3-540-45220-1_25","volume-title":"Computer Science Logic","author":"B. Khoussainov","year":"2003","unstructured":"Khoussainov, B.: On algebraic specifications of abstract data types. In: Baaz, M., Makowsky, J.A. (eds.) CSL 2003. LNCS, vol.\u00a02803, pp. 299\u2013313. Springer, Heidelberg (2003)"},{"key":"24_CR25","unstructured":"Klop, J.W.: Term rewriting systems. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science Mathematical Structures, vol.\u00a02, pp. 1\u2013116 (1992)"},{"key":"24_CR26","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/0304-3975(89)90024-8","volume":"67","author":"G. Marongiu","year":"1989","unstructured":"Marongiu, G., Tulipani, S.: On a conjecture of Bergstra and Tucker. Theoretical Computer Science\u00a067, 87\u201397 (1989)","journal-title":"Theoretical Computer Science"},{"key":"24_CR27","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1016\/0304-3975(92)90310-C","volume":"100","author":"K. Meinke","year":"1992","unstructured":"Meinke, K.: Universal algebra in higher types. Theoretical Computer Science\u00a0100, 385\u2013417 (1992)","journal-title":"Theoretical Computer Science"},{"key":"24_CR28","first-page":"189","volume-title":"Handbook of Logic in Computer Science Mathematical Structures","author":"K. Meinke","year":"1992","unstructured":"Meinke, K., Tucker, J.V.: Universal algebra. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science Mathematical Structures, vol.\u00a0I, pp. 189\u2013411. Oxford University Press, Oxford (1992)"},{"key":"24_CR29","first-page":"459","volume-title":"Algebraic methods in semantics","author":"J. Meseguer","year":"1985","unstructured":"Meseguer, J., Goguen, J.A.: Initiality, induction and computability. In: Nivat, M., Reynolds, J. (eds.) Algebraic methods in semantics, pp. 459\u2013541. Cambridge University Press, Cambridge (1985)"},{"key":"24_CR30","first-page":"291","volume":"4","author":"L. Moss","year":"2001","unstructured":"Moss, L.: imple equational specifications of rational arithmetic. Discrete Mathematics and Theoretical Computer Science\u00a04, 291\u2013300 (2001)","journal-title":"Discrete Mathematics and Theoretical Computer Science"},{"key":"24_CR31","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(92)90305-Y","volume":"100","author":"L. Moss","year":"1992","unstructured":"Moss, L., Meseguer, J., Goguen, J.A.: Final algebras, cosemicomputable algebras, and degrees of unsolvability. Theoretical Computer Science\u00a0100, 267\u2013302 (1992)","journal-title":"Theoretical Computer Science"},{"key":"24_CR32","first-page":"304","volume-title":"Proceedings 4th Logic in Computer Science","author":"P. Mosses","year":"1989","unstructured":"Mosses, P.: Unified algebras and institutions. In: Proceedings 4th Logic in Computer Science, pp. 304\u2013312. IEEE Press, Los Alamitos (1989)"},{"key":"24_CR33","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.scico.2003.04.001","volume":"49","author":"D. Rees","year":"2003","unstructured":"Rees, D., Stephenson, K., Tucker, J.V.: The algebraic structure of interfaces. Science of Computer Programming\u00a049, 47\u201388 (2003)","journal-title":"Science of Computer Programming"},{"key":"24_CR34","volume-title":"Galois theory","author":"I. Stewart","year":"1973","unstructured":"Stewart, I.: Galois theory. Chapman and Hall, Boca Raton (1973)"},{"key":"24_CR35","first-page":"357","volume-title":"Handbook of Logic in Computer Science Semantic Modelling","author":"V. Stoltenberg-Hansen","year":"1995","unstructured":"Stoltenberg-Hansen, V., Tucker, J.V.: Effective algebras. In: Abramsky, S., Gabbay, D., Maibaum, T. (eds.) Handbook of Logic in Computer Science Semantic Modelling, pp. 357\u2013526. Oxford University Press, Oxford (1995)"},{"key":"24_CR36","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1016\/S0049-237X(99)80028-7","volume-title":"Handbook of Computability Theory","author":"V. Stoltenberg-Hansen","year":"1999","unstructured":"Stoltenberg-Hansen, V., Tucker, J.V.: Computable rings and fields. In: Griffor, E. (ed.) Handbook of Computability Theory, pp. 363\u2013447. Elsevier, Amsterdam (1999)"},{"key":"24_CR37","unstructured":"Terese, Term Rewriting Systems, Cambridge Tracts in Theoretical Computer Science 55, Cambridge University Press, Cambridge (2003)"},{"key":"24_CR38","first-page":"373","volume":"9","author":"E. Wagner","year":"2002","unstructured":"Wagner, E.: Algebraic specifications: some old history and new thoughts. Nordic Journal of Computing\u00a09, 373\u2013404 (2002)","journal-title":"Nordic Journal of Computing"},{"key":"24_CR39","volume-title":"EATCS Monographs in Computer Science","author":"W. Wechler","year":"1992","unstructured":"Wechler, W.: Universal algebra for computer scientists. In: EATCS Monographs in Computer Science, Springer, Heidelberg (1992)"},{"key":"24_CR40","first-page":"675","volume-title":"Handbook of Theoretical Computer Science Formal models and semantics","author":"M. Wirsing","year":"1990","unstructured":"Wirsing, M.: Algebraic specifications. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science Formal models and semantics, vol.\u00a0B, pp. 675\u2013788. North-Holland, Amsterdam (1990)"}],"container-title":["Lecture Notes in Computer Science","Algebra, Meaning, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11780274_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:16:04Z","timestamp":1619493364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11780274_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354628","9783540354642"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11780274_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}