{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:50:41Z","timestamp":1725565841972},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540228493"},{"type":"electronic","value":"9783540278368"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27836-8_89","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T22:53:21Z","timestamp":1284591201000},"page":"1066-1079","source":"Crossref","is-referenced-by-count":1,"title":["Extensional Theories and Rewriting"],"prefix":"10.1007","author":[{"given":"Grigore","family":"Ro\u015fu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"89_CR1","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"The Lambda Calculus","author":"H.P. Barendregt","year":"1991","unstructured":"Barendregt, H.P.: The Lambda Calculus. Studies in Logic and the Foundations of Mathematics, vol.\u00a0103. North-Holland, Amsterdam (1991) (revised edition)"},{"key":"89_CR2","series-title":"ENTCS","first-page":"61","volume-title":"Proceeding of CMCS 2000","author":"S. Buss","year":"2000","unstructured":"Buss, S., Ro\u015fu, G.: Incompleteness of behavioral logics. In: Proceeding of CMCS 2000. ENTCS, vol.\u00a033, pp. 61\u201379. Elsevier, Amsterdam (2000)"},{"key":"89_CR3","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Quesada, J.: Maude: specification and programming in rewriting logic. SRI International (January 1999), \n                    \n                      http:\/\/maude.csl.sri.com"},{"key":"89_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Recent Trends in Algebraic Development Techniques","author":"A. Corradini","year":"1998","unstructured":"Corradini, A.: A complete calculus for equational deduction in coalgebraic specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, Springer, Heidelberg (1998)"},{"key":"89_CR5","series-title":"AMAST Series in Computing","doi-asserted-by":"crossref","DOI":"10.1142\/3831","volume-title":"CafeOBJ Report","author":"R. Diaconescu","year":"1998","unstructured":"Diaconescu, R., Futatsugi, K.: CafeOBJ Report. AMAST Series in Computing, vol.\u00a06. World Scientific, Singapore (1998)"},{"key":"89_CR6","first-page":"123","volume-title":"Proceedings of Automated Software Engineering 2000","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Lin, K., Ro\u015fu, G.: Circular coinductive rewriting. In: Proceedings of Automated Software Engineering 2000, pp. 123\u2013131. IEEE, Los Alamitos (2000)"},{"issue":"1","key":"89_CR7","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/S0304-3975(99)00275-3","volume":"245","author":"J. Goguen","year":"2000","unstructured":"Goguen, J., Malcolm, G.: A hidden agenda. J. of TCS\u00a0245(1), 55\u2013101 (2000)","journal-title":"J. of TCS"},{"key":"89_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1704","DOI":"10.1007\/3-540-48118-4_40","volume-title":"FM\u201999 - Formal Methods","author":"J. Goguen","year":"1999","unstructured":"Goguen, J., Ro\u015fu, G.: Hiding more of hidden algebra. In: Woodcock, J.C.P., Davies, J., Wing, J.M. (eds.) FM 1999. LNCS, vol.\u00a01709, pp. 1704\u20131719. Springer, Heidelberg (1999)"},{"key":"89_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-49253-4_20","volume-title":"Algebraic Methodology and Software Technology","author":"R. Hennicker","year":"1998","unstructured":"Hennicker, R., Bidoit, M.: Observational logic. In: Haeberer, A.M. (ed.) AMAST 1998. LNCS, vol.\u00a01548, pp. 263\u2013277. Springer, Heidelberg (1998)"},{"key":"89_CR10","volume-title":"Introduction to Combinatory Logic and Lambda Calculus","author":"J. Roger Hindley","year":"1986","unstructured":"Roger Hindley, J., Seldin, J.P.: Introduction to Combinatory Logic and Lambda Calculus. Cambridge University Press, Cambridge (1986)"},{"key":"89_CR11","first-page":"222","volume":"62","author":"B. Jacobs","year":"1997","unstructured":"Jacobs, B., Rutten, J.: A tutorial on (co)algebras and (co)induction. Bulletin of the European Association for Theoretical Computer Science\u00a062, 222\u2013259 (1997)","journal-title":"Bulletin of the European Association for Theoretical Computer Science"},{"key":"89_CR12","volume-title":"Handbook of Logic in Computer Science","author":"J.W. Klop","year":"1992","unstructured":"Klop, J.W.: Term rewriting systems. In: Handbook of Logic in Computer Science, vol.\u00a01 and 2, Clarendon, Oxford (1992)"},{"key":"89_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-61629-2_56","volume-title":"Recent Trends in Data Type Specification","author":"P. Padawitz","year":"1996","unstructured":"Padawitz, P.: Swinging data types: Syntax, semantics, and theory. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 409\u2013435. Springer, Heidelberg (1996)"},{"key":"89_CR14","unstructured":"Reichel, H.: Behavioural equivalence - a unifying concept for initial and final specifications. Proc., 3rd Hungarian CS Conference. Akademiai Kiado, Budapest (1981)"},{"key":"89_CR15","unstructured":"Ro\u015fu, G.: Extensional Theories and Rewriting - Extended version. University of Illinois, Technical Rep., \n                    \n                      http:\/\/fsl.cs.uiuc.edu\/~grosu\/download\/icalp04.pdf"}],"container-title":["Lecture Notes in Computer Science","Automata, Languages and Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27836-8_89.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T03:31:10Z","timestamp":1620012670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27836-8_89"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540228493","9783540278368"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27836-8_89","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}