{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:47:56Z","timestamp":1725544076274},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330455"},{"type":"electronic","value":"9783540330462"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11690634_21","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T14:15:28Z","timestamp":1143555328000},"page":"307-321","source":"Crossref","is-referenced-by-count":2,"title":["A Semantic Approach to Interpolation"],"prefix":"10.1007","author":[{"given":"Andrei","family":"Popescu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Traian Florin","family":"\u015eerb\u0103nu\u0163\u0103","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigore","family":"Ro\u015fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Andr\u00e9ka, H., N\u00e9meti, I.: A general axiomatizability theorem formulated in terms of cone-injective subcategories. In: Universal Algebra, vol.\u00a029, pp. 13\u201335 (1982)","DOI":"10.1007\/BF01847919"},{"key":"21_CR2","volume-title":"Model-Theoretic Logics","author":"J. Barwise","year":"1985","unstructured":"Barwise, J., Feferman, J.: Model-Theoretic Logics. Springer, Heidelberg (1985)"},{"issue":"2","key":"21_CR3","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J. Bergstra","year":"1990","unstructured":"Bergstra, J., Heering, J., Klint, P.: Module algebra. Journal of the Association for Computing Machinery\u00a037(2), 335\u2013372 (1990)","journal-title":"Journal of the Association for Computing Machinery"},{"issue":"1-2","key":"21_CR4","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1016\/S0020-0190(00)00120-4","volume":"76","author":"T. Borzyszkowski","year":"2000","unstructured":"Borzyszkowski, T.: Generalized interpolation in CASL. Inf. Process. Lett.\u00a076(1-2), 19\u201324 (2000)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"21_CR5","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1016\/S0304-3975(01)00317-6","volume":"286","author":"T. Borzyszkowski","year":"2002","unstructured":"Borzyszkowski, T.: Logical systems for structured specifications. Theoretical Computer Science\u00a0286(2), 197\u2013245 (2002)","journal-title":"Theoretical Computer Science"},{"key":"21_CR6","volume-title":"Model Theory","author":"C.C. Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1973)"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"250","DOI":"10.2307\/2963593","volume":"22","author":"W. Craig","year":"1957","unstructured":"Craig, W.: Linear reasoning. A new form of the Herbrand-Gentzen Theorem. Journal of Symbolic Logic\u00a022, 250\u2013268 (1957)","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"21_CR8","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1023\/A:1016330812768","volume":"10","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R.: Grothendieck institutions. Appl. Categorical Struct.\u00a010(4), 383\u2013402 (2002)","journal-title":"Appl. Categorical Struct."},{"issue":"1","key":"21_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1023\/B:STUD.0000034185.62660.d6","volume":"77","author":"R. Diaconescu","year":"2004","unstructured":"Diaconescu, R.: An institution-independent proof of Craig interpolation theorem. Studia Logica\u00a077(1), 59\u201379 (2004)","journal-title":"Studia Logica"},{"key":"21_CR10","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/j.tcs.2003.10.030","volume":"311","author":"R. Diaconescu","year":"2004","unstructured":"Diaconescu, R.: Interpolation in Grothendieck institutions. Theoretical Computer Science\u00a0311, 439\u2013461 (2004)","journal-title":"Theoretical Computer Science"},{"key":"21_CR11","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":"21_CR12","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/S0304-3975(01)00361-9","volume":"285","author":"R. Diaconescu","year":"2002","unstructured":"Diaconescu, R., Futatsugi, K.: Logical foundations of CafeOBJ. Theoretical Computer Science\u00a0285, 289\u2013318 (2002)","journal-title":"Theoretical Computer Science"},{"key":"21_CR13","unstructured":"Diaconescu, R., Goguen, J., Stefaneas, P.: Logical support for modularization. In: Huet, G., Plotkin, G. (eds.) Logical Environments, Cambridge, pp. 83\u2013130 (1993)"},{"issue":"1\u20132","key":"21_CR14","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0020-0190(00)00037-5","volume":"74","author":"T. Dimitrakos","year":"2000","unstructured":"Dimitrakos, T., Maibaum, T.: On a generalized modularization theorem. Information Processing Letters\u00a074(1\u20132), 65\u201371 (2000)","journal-title":"Information Processing Letters"},{"key":"21_CR15","unstructured":"Gallier, J.H.: Logic for computer science. Foundations of automatic theorem proving. Harper & Row (1986)"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Goguen, J.: Types as theories. In: Topology and Category Theory in Computer Science, Oxford, pp. 357\u2013390 (1991)","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"issue":"1","key":"21_CR17","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. Goguen","year":"1992","unstructured":"Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the ACM\u00a039(1), 95\u2013146 (1992)","journal-title":"Journal of the ACM"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-540-39993-3_7","volume-title":"From Object-Orientation to Formal Methods","author":"J. Goguen","year":"2004","unstructured":"Goguen, J., Ro\u015fu, G.: Composing hidden information modules over inclusive institutions. In: Owe, O., Krogdahl, S., Lyche, T. (eds.) From Object-Orientation to Formal Methods. LNCS, vol.\u00a02635, pp. 96\u2013123. Springer, Heidelberg (2004)"},{"issue":"1","key":"21_CR19","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1093\/jigpal\/9.2.231","volume":"9","author":"D.G.J. Bicarregui","year":"2001","unstructured":"Bicarregui, D.G.J., Dimitrakos, T., Maibaum, T.: Interpolation in practical formal development. Logic Journal of the IGPL\u00a09(1), 231\u2013243 (2001)","journal-title":"Logic Journal of the IGPL"},{"key":"21_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-9452-5","volume-title":"Mathematical Logic","author":"J.D. Monk","year":"1976","unstructured":"Monk, J.D.: Mathematical Logic. Springer, Heidelberg (1976)"},{"issue":"2","key":"21_CR21","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1145\/357073.357079","volume":"1","author":"G. Nelson","year":"1979","unstructured":"Nelson, G., Oppen, D.C.: Simplification by cooperating decision procedures. ACM Trans. Program. Lang. Syst.\u00a01(2), 245\u2013257 (1979)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"21_CR22","unstructured":"N\u00e9meti, I., Sain, I.: Cone-implicational subcategories and some Birkhoff-type theorems. In: Universal Algebra, vol.\u00a029, pp. 535\u2013578 (1982)"},{"key":"21_CR23","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0304-3975(80)90059-6","volume":"12","author":"D.C. Oppen","year":"1980","unstructured":"Oppen, D.C.: Complexity, convexity and combinations of theories. Theoretical Computer Science\u00a012, 291\u2013302 (1980)","journal-title":"Theoretical Computer Science"},{"key":"21_CR24","unstructured":"Popescu, A., \u015eerb\u0103nu\u0163\u0103, T., Ro\u015fu, G.: A semantic approach to interpolation. Technical Report UIUCDCS-R-2005-2643, University of Illinois at Urbana-Champaign"},{"key":"21_CR25","first-page":"194","volume":"6","author":"G. Ro\u015fu","year":"2000","unstructured":"Ro\u015fu, G., Goguen, J.: On equational Craig interpolation. Journal of Universal Computer Science\u00a06, 194\u2013200 (2000)","journal-title":"Journal of Universal Computer Science"},{"issue":"1","key":"21_CR26","doi-asserted-by":"crossref","first-page":"80","DOI":"10.3233\/FI-1991-15106","volume":"15","author":"P.H. Rodenburg","year":"1991","unstructured":"Rodenburg, P.H.: Interpolation in conditional equational logic. Fundam. Inform.\u00a015(1), 80\u201385 (1991)","journal-title":"Fundam. Inform."},{"key":"21_CR27","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/BF01190411","volume":"28","author":"P.H. Rodenburg","year":"1991","unstructured":"Rodenburg, P.H.: A simple algebraic proof of the equational interpolation theorem. Algebra Universalis\u00a028, 48\u201351 (1991)","journal-title":"Algebra Universalis"},{"key":"21_CR28","unstructured":"Rodenburg, P.H., van Glabbeek, R.: An interpolation theorem in equational logic. Technical Report CS-R8838, CWI (1988)"},{"key":"21_CR29","first-page":"165","volume":"76","author":"D. Sannella","year":"1988","unstructured":"Sannella, D., Tarlecki, A.: Specifications in an arbitrary institution. Information and Control\u00a076, 165\u2013210 (1988)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11690634_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,3]],"date-time":"2024-02-03T13:53:53Z","timestamp":1706968433000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11690634_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330455","9783540330462"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11690634_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}