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
Ehrig, Hartmut; Große-Rhode, Martin Functorial theory of parameterized specifications in a general specification framework. (English) Zbl 0829.68086 Theor. Comput. Sci. 135, No. 2, 221-266 (1994). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{M. Große-Rhode}, Theor. Comput. Sci. 135, No. 2, 221--266 (1994; Zbl 0829.68086) Full Text: DOI