Mossakowski, Till; Tarlecki, Andrzej Heterogeneous logical environments for distributed specifications. (English) Zbl 1253.68231 Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 266-289 (2009). MSC: 68Q65 03G30 PDFBibTeX XMLCite \textit{T. Mossakowski} and \textit{A. Tarlecki}, Lect. Notes Comput. Sci. 5486, 266--289 (2009; Zbl 1253.68231) Full Text: DOI
Codescu, Mihai Generalized theoroidal institution comorphisms. (English) Zbl 1253.68226 Corradini, Andrea (ed.) et al., Recent trends in algebraic development techniques. 19th international workshop, WADT 2008, Pisa, Italy, June 13–16, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-03428-2/pbk). Lecture Notes in Computer Science 5486, 88-101 (2009). MSC: 68Q65 PDFBibTeX XMLCite \textit{M. Codescu}, Lect. Notes Comput. Sci. 5486, 88--101 (2009; Zbl 1253.68226) Full Text: DOI
Orejas, Fernando; Pino, Elvira; Ehrig, Hartmut Algebraic methods in the compositional analysis of logic programs. (English) Zbl 1493.68072 Privara, Igor (ed.) et al., Mathematical foundations of computer science 1994. 19th international symposium, MFCS ’94, Košice, Slovakia, August 22–26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 841, 112-126 (1994). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{F. Orejas} et al., Lect. Notes Comput. Sci. 841, 112--126 (1994; Zbl 1493.68072) Full Text: DOI