{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:11:13Z","timestamp":1725484273147},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540431596"},{"type":"electronic","value":"9783540456452"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45645-7_13","type":"book-chapter","created":{"date-parts":[[2007,5,29]],"date-time":"2007-05-29T02:24:22Z","timestamp":1180405462000},"page":"256-279","source":"Crossref","is-referenced-by-count":1,"title":["Presentations for Abstract Context Institutions"],"prefix":"10.1007","author":[{"given":"Wies\u0142aw","family":"Paw\u0142owski","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,1,29]]},"reference":[{"key":"13_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/3-540-61064-2_41","volume-title":"Proceedings, 20th Colloquium on Trees in Algebra and Computing CAAP\u201996, Link\u00f6ping, April 1996","author":"M. Bidoit","year":"1996","unstructured":"M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In H. Kirchner, editor, Proceedings, 20th Colloquium on Trees in Algebra and Computing CAAP\u201996, Link\u00f6ping, April 1996, volume 1059 of LNCS, pages 241\u2013256. Springer-Verlag, 1996."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"F. Borceux. Handbook of Categorical Algebra 1, Basic Category Theory, volume 50 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.","DOI":"10.1017\/CBO9780511525872"},{"key":"13_CR3","unstructured":"R. M. Burstall and J. A. Goguen. Algebras, theories and freenes: an introduction for computer scientist. In Proc. 1981 Marktoberdorf NATO Summer School. Reidel, 1982."},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"M. Cerioli, T. Mossakowski, and H. Reichel. From total equational to partial first order logic. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Br\u00fcckner, editors, Algebraic Foundations of System specification, IFIP State-of-the-Art Reports, pages 31\u2013104. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-642-59851-7_3"},{"key":"13_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/3-540-17162-2_131","volume-title":"Proc. Conference on Category Theory and Computer Programming","author":"J. A. Goguen","year":"1986","unstructured":"J. A. Goguen and R. M. Burstall. A study in the foundations of programming methodology: specifications, institutions, charters and parchments. In D. Pitt, S. Abramsky, A. Poign\u00e9, and D. Rydeheard, editors, Proc. Conference on Category Theory and Computer Programming, volume 240 of LNCS, pages 313\u2013333. Springer-Verlag, 1986."},{"key":"13_CR6","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1145\/147508.147524","volume":"39","author":"J. A. Goguen","year":"1992","unstructured":"J. A. Goguen and R. M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39:95\u2013146, 1992.","journal-title":"Journal of the Association for Computing Machinery"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"S. MacLane. Categories for the Working Mathematician, volume 5 of Springer Graduate Texts in Mathematics. Springer-Verlag, 1971.","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1093\/oso\/9780198537359.003.0003","volume-title":"Handbook of Logic in Computer Science","author":"K. Meinke","year":"1992","unstructured":"K. Meinke and J. V. Tucker. Universal algebra. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, Volume 1, Background: Mathematical Structures, pages 189\u2013411. Clarendon Press, Oxford, 1992."},{"key":"13_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/3-540-61629-2_54","volume-title":"Recent Trends in Data Type specifications","author":"T. Mossakowski","year":"1996","unstructured":"T. Mossakowski. Usinglimits of parchments to systematically construct institutions of partial algebras. In M. Haveraaen and O.-J. Dahl, editors, Recent Trends in Data Type specifications. 11th Workshop on specification of Abstract Data Types joint with the 8th General COMPASS Workshop. Oslo, Norway, September 1995. Selected Papers, volume 1130 of LNCS, pages 379\u2013393. Springer-Verlag, 1996."},{"key":"13_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/BFb0026988","volume-title":"Category Theory and Computer Science, CTCS\u201997, Santa Margherita Ligure, Italy, 1997, Proceedings","author":"T. Mossakowski","year":"1997","unstructured":"T. Mossakowski, A. Tarlecki, and W. Paw\u0142owski. Combiningand representing logical systems. In E. Moggi, editor, Category Theory and Computer Science, CTCS\u201997, Santa Margherita Ligure, Italy, 1997, Proceedings, volume 1290 of LNCS, pages 177\u2013198. Springer-Verlag, 1997."},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","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":"T. Mossakowski, A. Tarlecki, and W. Paw\u0142owski. Combiningand representing logical systems using model-theoretic parchments. In F. Parisi Presicce, editor, Recent Trends in Algebraic Development Techniques. 12th International Workshop WADT\u201997. Tarquinia, Italy, June 1997. Selected papers, volume 1376 of LNCS, pages 349\u2013364. Springer-Verlag, 1998."},{"key":"13_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"436","DOI":"10.1007\/3-540-61629-2_57","volume-title":"Recent Trends in Data Type specifications","author":"W. Pawlowski","year":"1996","unstructured":"W. Paw;lowski. Context institutions. In M. Haveraaen, O. Owe, and O.-J. Dahl, editors, Recent Trends in Data Type specifications. 11th Workshop on specification of Abstract Data Types joint with the 8th general COMPASS workshop. Oslo, Norway, September 1995. Selected papers, volume 1130 of LNCS, pages 436\u2013457. Springer-Verlag, 1996."},{"key":"13_CR13","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1007\/3-540-64299-4_46","volume-title":"Recent Trends in Algebraic Development Techniques","author":"W. Paw\u0142owski","year":"1998","unstructured":"W. Paw\u0142owski. Context parchments. In F. Parisi Presicce, editor, Recent Trends in Algebraic Development Techniques. 12th International Workshop WADT\u201997. Tarquinia, Italy, June 1997. Selected papers, volume 1376 of LNCS, pages 381\u2013401. Springer-Verlag, 1998."},{"key":"13_CR14","unstructured":"W. Paw\u0142owski. Contextual Logical Systems for the Foundations of Software Specification and Development (in Polish). PhD thesis, Inst. of Comp. Sci. PAS, Warsaw, 2000. ftp:\/\/ftp.ipipan.gda.pl\/wiesiek\/papers\/thesis.ps.gz ."},{"key":"13_CR15","unstructured":"H. Rasiowa and R. Sikorski. The Mathematics of Metamathematics. Pa\u0144stwowe Wydawnictwo Naukowe, 1963."},{"key":"13_CR16","first-page":"2","volume":"9","author":"R. Sikorski","year":"1962","unstructured":"R. Sikorski. Algebra of formalized languages. Colloquium Mathematicum, 9:2\u201332, 1962.","journal-title":"Colloquium Mathematicum"},{"key":"13_CR17","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(88)90149-1","volume":"59","author":"A. Stoughton","year":"1988","unstructured":"A. Stoughton. Substitution revisited. Theoretical Computer Science, 59:317\u2013325, 1988.","journal-title":"Theoretical Computer Science"},{"key":"13_CR18","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"334","DOI":"10.1007\/3-540-17162-2_132","volume-title":"Bits and pieces of the theory of institutions","author":"A. Tarlecki","year":"1986","unstructured":"A. Tarlecki. Bits and pieces of the theory of institutions. In Proc. Workshop on Category Theory and Computer Programming, volume 240 of LNCS, pages 334\u2013363. Springer-Verlag, 1986."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"A. Tarlecki. Institutions: An abstract framework for formal specifications. In E. Astesiano, H.-J. Kreowski, and B. Krieg-Br\u00fcckner, editors, Algebraic Foundations of System specification, IFIP State-of-the-Art Reports, pages 105\u2013130. Springer-Verlag, 1999.","DOI":"10.1007\/978-3-642-59851-7_4"},{"issue":"2","key":"13_CR20","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1016\/0304-3975(91)90085-G","volume":"91","author":"A. Tarlecki","year":"1991","unstructured":"A. Tarlecki, R. M. Burstall, and J. A. Goguen. Some fundamental algebraic tools for the semantics of computation: Part 3. Indexed categories. Theoretical Computer Science, 91(2):239\u2013264, 1991.","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\/3-540-45645-7_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,14]],"date-time":"2024-02-14T15:51:17Z","timestamp":1707925877000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45645-7_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540431596","9783540456452"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45645-7_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}