{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:57Z","timestamp":1725664977278},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617563"},{"type":"electronic","value":"9783540706540"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61756-6_77","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:21:22Z","timestamp":1330294882000},"page":"62-76","source":"Crossref","is-referenced-by-count":0,"title":["GOTA algebras: A specification formalism for inheritance and object hierarchies"],"prefix":"10.1007","author":[{"given":"Joaqu\u00edn","family":"Mateos-Lago","sequence":"first","affiliation":[]},{"given":"Mario","family":"Rodr\u00edguez-Artalejo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"H. A\u00eft-Kaci, A. Podelski, G. Smolka, A Feature-based Constraint System for Logic Programming with Entailment, Theoretical Computer Science 122 (1\u20132):263\u2013283, Elsevier 1994.","DOI":"10.1016\/0304-3975(94)90209-7"},{"issue":"3\u20134","key":"5_CR2","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1007\/BF03037173","volume":"9","author":"J. M. Andreoli","year":"1991","unstructured":"J. M. Andreoli, R. Pareschi, Linear Objects: Logical Processes with built-in inheritance, New Generation Computing 9 (3\u20134):445\u2013473, 1991.","journal-title":"New Generation Computing"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"R. Backofen, G. Smolka, A Complete and Recursive Feature Theory, Theoretical Computer Science 146 (1\u20132):243\u2013268, Elsevier 1995.","DOI":"10.1016\/0304-3975(94)00188-O"},{"key":"5_CR4","unstructured":"M. Bugliesi, G. Delzamo, L. Liquori, M. Martelli, A Linear Logic Calculus of Objects, to appear in Proceedings of JICSLP'96, 1996."},{"issue":"1","key":"5_CR5","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"K. Fisher, F. Honsell, J.C. Mitchell, A Lambda Calculus of Objects and Method Specialization, Nordic Journal of Computing 1 (1):3\u201337, 1994.","journal-title":"Nordic Journal of Computing"},{"key":"5_CR6","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(92)90302-V","volume":"105","author":"J. Goguen","year":"1992","unstructured":"J. Goguen, J. Meseguer, Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations, Theoretical Computer Science 105:217\u2013273, Elsevier 1992.","journal-title":"Theoretical Computer Science"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"J. Goguen, T. Winkler, J. Meseguer, K. Futatsugi, J. P. Jouannaud, Introducing OBJ3, Technical Report SRI-CSL-92-03, SRI International, Computer Science Laboratory, 1993.","DOI":"10.1007\/978-1-4757-6541-0_1"},{"key":"5_CR8","first-page":"27","volume-title":"Principles and Practice of Constraint Programming","author":"M. Henz","year":"1995","unstructured":"M. Henz, G. Smolka, J. W\u00fcrtz, Object-oriented concurrent constraint programming in Oz, in V. Saraswat and P. Van Henterick, eds., Principles and Practice of Constraint Programming Chap. 2:27\u201348, MIT Press, Cambridge, MA 1995."},{"key":"5_CR9","unstructured":"J. Mateos-Lago, M. Rodr\u00edguez-Artalejo, GOTA Algebras, Technical Report 26\/96, Departamento de Inform\u00e1tica y Autom\u00e1tica, Universidad Complutense de Madrid, 1996."},{"key":"5_CR10","doi-asserted-by":"crossref","unstructured":"J. Meseguer, A Logical Theory of Concurrent Objects and Its Realization in the Maude Language, in G. Agha, P. Wegner, A. Yonezawa, eds., Research Directions in Concurrent Object-Oriented Programming:315\u2013390, MIT Press 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"G. Smolka, H. A\u00eft-Kaci, Inheritance Hierarchies: Semantics and Unification, Journal of Symbolic Computation 7:343\u2013370, Academic Press 1989.","DOI":"10.1016\/S0747-7171(89)80016-1"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"G. Smolka, W. Nutt, J. Goguen, J. Meseguer, Order-sorted equational computation, in M. Nivat, H. A\u00eft-Kaci, eds., Resolution of Equations in Algebraic Structures:299\u2013367, Academic Press 1989.","DOI":"10.1016\/B978-0-12-046371-8.50016-X"},{"issue":"3","key":"5_CR13","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"G. Smolka","year":"1994","unstructured":"G. Smolka, R. Treinen, Records for Logic Programming, Journal of Logic Programming 18 (3):229\u2013258, 1994.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics, and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61756-6_77.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:45:17Z","timestamp":1713635117000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61756-6_77"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617563","9783540706540"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-61756-6_77","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}