{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:08Z","timestamp":1725456068594},"publisher-location":"Berlin\/Heidelberg","reference-count":16,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055789X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0023776","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:11:10Z","timestamp":1132395070000},"page":"306-315","source":"Crossref","is-referenced-by-count":0,"title":["Logical semantics of modularisation"],"prefix":"10.1007","author":[{"given":"Gerard R.","family":"Renardel de Lavalette","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"R.M. Burstall and J.A. Goguen, The semantics of CLEAR, a specification language, in: Abstract software specifications, LNCS 86, Springer-Verlag (1980) 292\u2013332","DOI":"10.1007\/3-540-10007-5_41"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1145\/77600.77621","volume":"37","author":"J.A. Bergstra","year":"1990","unstructured":"J.A. Bergstra, J. Heering, P. Klint, Module algebra, Journal of the ACM 37 (1990) 335\u2013372","journal-title":"Journal of the ACM"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr, Fundamentals of algebraic specification 1, Equations and initial semantics, Springer-Verlag, 1985","DOI":"10.1007\/978-3-642-69962-7"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"H. Ehrig and B. Mahr, Fundamentals of algebraic specifications 2, Module specifications and constraints, Springer-Verlag, 1990","DOI":"10.1007\/978-3-642-61284-8"},{"key":"23_CR5","unstructured":"M.-C. Gaudel, Toward structured algebraic specifications, in: Esprit '85: Status report of continuing work, vol. 1, North-Holland (1986) 493\u2013510"},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"201","DOI":"10.2307\/2271066","volume":"28","author":"L. Henkin","year":"1963","unstructured":"L. Henkin, An extension of the Craig-Lyndon interpolation theorem, The Journal of Symbolic Logic 28 (1963) 201\u2013216","journal-title":"The Journal of Symbolic Logic"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"T.S.E. Maibaum and M.R. Sadler, Axiomatising specification theory, in: H.-J. Kreowski (ed.), Recent trends in data type specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Informatik-Fachberichte 116, Springer-Verlag (1985) 171\u2013177","DOI":"10.1007\/978-3-662-09691-8_13"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"15","DOI":"10.4064\/cm-30-1-15-25","volume":"30","author":"D. Pigozzi","year":"1974","unstructured":"D. Pigozzi, The join of equational theories, Colloquium Mathematicum 30 (1974), 15\u201325","journal-title":"Colloquium Mathematicum"},{"key":"23_CR9","unstructured":"A.M. Pitts, On an interpretation of second order quantification in first order intuitionistic propositional logic, to appear in The Journal of Symbolic Logic"},{"key":"23_CR10","first-page":"283","volume":"25","author":"G.R. Renardel de Lavalette","year":"1989","unstructured":"G.R. Renardel de Lavalette, Modularisation, parametrisation, interpolation, Journal of Information Processing and Cybernetics EIK 25 (1989) 283\u2013292","journal-title":"Journal of Information Processing and Cybernetics EIK"},{"key":"23_CR11","volume-title":"Report RP\/mod-89\/8","author":"G.R. Renardel de Lavalette","year":"1989","unstructured":"G.R. Renardel de Lavalette, COLD-K2, the Static Kernel of COLD-K, Report RP\/mod-89\/8, Software Engineering Research Centre, Utrecht, 1989"},{"key":"23_CR12","unstructured":"P.H. Rodenburg, On the \u03c9-completeness of a fragment of module algebra, manuscript (1990)"},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1007\/BF01190411","volume":"28","author":"P.H. Rodenburg","year":"1991","unstructured":"P.H. Rodenburg, A simple algebraic proof of the equational interpolation theorem, Algebra Universalis 28 (1991) 48\u201351","journal-title":"Algebra Universalis"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"80","DOI":"10.3233\/FI-1991-15106","volume":"15","author":"P.H. Rodenburg","year":"1991","unstructured":"P.H. Rodenburg, Interpolation in conditional equational logic, Fundamenta Informaticae 15 (1991) 80\u201385","journal-title":"Fundamenta Informaticae"},{"key":"23_CR15","unstructured":"P.H. Rodenburg, Interpolation in equational logic, Report P9201, Programming Research Group, University of Amsterdam, 1992"},{"key":"23_CR16","volume-title":"Structured algebraic specifications: a kernel language, Habilitationsschrift","author":"M. Wirsing","year":"1983","unstructured":"M. Wirsing, Structured algebraic specifications: a kernel language, Habilitationsschrift, Institut f\u00fcr Informatik, Technische Universit\u00e4t, M\u00fcnchen, 1983"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0023776.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T02:16:40Z","timestamp":1626747400000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0023776"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055789X"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0023776","relation":{},"subject":[]}}