{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T19:27:26Z","timestamp":1743017246690,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205371"},{"type":"electronic","value":"9783540400202"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"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":[[2003]]},"DOI":"10.1007\/978-3-540-40020-2_24","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T18:42:34Z","timestamp":1277318554000},"page":"409-424","source":"Crossref","is-referenced-by-count":1,"title":["Presenting and Combining Inference Systems"],"prefix":"10.1007","author":[{"given":"Wies\u0142aw","family":"Paw\u0142owski","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","series-title":"Encyclopedia of Mathematics and its Applications","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511525872","volume-title":"Handbook of Categorical Algebra 1, Basic Category Theory","author":"F. Borceux","year":"1994","unstructured":"Borceux, F.: Handbook of Categorical Algebra 1, Basic Category Theory. Encyclopedia of Mathematics and its Applications, vol.\u00a050. Cambridge University Press, Cambridge (1994)"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-540-40020-2_10","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Caleiro","year":"2003","unstructured":"Caleiro, C., Gouveia, P., Ramos, J.: Completeness results for fibered parchments. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol.\u00a02755, pp. 185\u2013200. Springer, Heidelberg (2003)"},{"key":"24_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/3-540-45645-7_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"C. Caleiro","year":"2002","unstructured":"Caleiro, C., Mateus, P., Ramos, J., Sernadas, A.: Combining logics: Parchments revisited. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol.\u00a02267, pp. 48\u201370. Springer, Heidelberg (2002)"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1007\/3-540-17162-2_131","volume-title":"Category Theory and Computer Programming","author":"J.A. Goguen","year":"1986","unstructured":"Goguen, J.A., Burstall, R.M.: A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In: Poign\u00e9, A., Pitt, D.H., Rydeheard, D.E., Abramsky, S. (eds.) Category Theory and Computer Programming. LNCS, vol.\u00a0240, pp. 313\u2013333. Springer, Heidelberg (1986)"},{"key":"24_CR5","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J.A. Goguen","year":"1992","unstructured":"Goguen, J.A., Burstall, R.M.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery\u00a039, 95\u2013146 (1992)","journal-title":"Journal of the Association for Computing Machinery"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1007\/3-540-61629-2_54","volume-title":"Recent Trends in Data Type Specification","author":"T. Mossakowski","year":"1996","unstructured":"Mossakowski, T.: Using limits of parchments to systematically construct institutions of partial algebras. In: Haveraaen, M., Dahl, O.-J., Owe, O. (eds.) Abstract Data Types 1995 and COMPASS 1995. LNCS, vol.\u00a01130, pp. 379\u2013393. Springer, Heidelberg (1996)"},{"key":"24_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1007\/BFb0026988","volume-title":"Category Theory and Computer Science","author":"T. Mossakowski","year":"1997","unstructured":"Mossakowski, T., Tarlecki, A., Paw\u0142owski, W.: Combining and representing logical systems. In: Moggi, E., Rosolini, G. (eds.) CTCS 1997. LNCS, vol.\u00a01290, pp. 177\u2013198. Springer, Heidelberg (1997)"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/3-540-64299-4_44","volume-title":"Recent Trends in Algebraic Development Techniques","author":"T. Mossakowski","year":"1998","unstructured":"Mossakowski, T., Tarlecki, A., Paw\u0142owski, W.: Combining and representing logical systems using model-theoretic parchments. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 349\u2013364. Springer, Heidelberg (1998)"},{"key":"24_CR9","unstructured":"Paw\u0142owski, W.: Contextual Logical Systems for the Foundations of Software Specification and Development (in Polish). PhD thesis, Institute of Computer Science, Polish Academy of Sciences, Warsaw (2000)"},{"key":"24_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/3-540-45645-7_13","volume-title":"Recent Trends in Algebraic Development Techniques","author":"W. Paw\u0142owski","year":"2002","unstructured":"Paw\u0142owski, W.: Presentations for abstract context institutions. In: Cerioli, M., Reggio, G. (eds.) WADT 2001 and CoFI WG Meeting 2001. LNCS, vol.\u00a02267, pp. 256\u2013279. Springer, Heidelberg (2002)"},{"issue":"2","key":"24_CR11","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1093\/logcom\/9.2.149","volume":"9","author":"A. Sernadas","year":"1999","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C.: Fibring of logics as a categorial construction. Journal of Logic and Computation\u00a09(2), 149\u2013179 (1999)","journal-title":"Journal of Logic and Computation"},{"key":"24_CR12","first-page":"295","volume-title":"Frontiers of Combining Systems 2","author":"A. Sernadas","year":"2000","unstructured":"Sernadas, A., Sernadas, C., Caleiro, C., Mossakowski, T.: Categorical fibring of logics with terms and binding operators. In: Gabbay, D., de Rijke, M. (eds.) Frontiers of Combining Systems 2, pp. 295\u2013316. Research Studies Press, Hertfordshire (2000)"},{"key":"24_CR13","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(88)90149-1","volume":"59","author":"A. Stoughton","year":"1988","unstructured":"Stoughton, A.: Substitution revisited. Theoretical Computer Science\u00a059, 317\u2013325 (1988)","journal-title":"Theoretical Computer Science"}],"container-title":["Lecture Notes in Computer Science","Recent Trends in Algebraic Development Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40020-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T21:29:52Z","timestamp":1552598992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40020-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205371","9783540400202"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40020-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}