Lucio, P.; Orejas, F.; Pasarella, E.; Pino, E. A functorial framework for constraint normal logic programming. (English) Zbl 1147.68013 Appl. Categ. Struct. 16, No. 3, 421-450 (2008). MSC: 68N17 68Q55 18C50 PDFBibTeX XMLCite \textit{P. Lucio} et al., Appl. Categ. Struct. 16, No. 3, 421--450 (2008; Zbl 1147.68013) Full Text: DOI
Corradini, Andrea; Hermann, Frank; Sobociński, Paweł Subobject transformation systems. (English) Zbl 1153.18002 Appl. Categ. Struct. 16, No. 3, 389-419 (2008). Reviewer: Viorel Mihai Gontineac (Iaşi) MSC: 18B35 68Q10 68Q42 18B20 PDFBibTeX XMLCite \textit{A. Corradini} et al., Appl. Categ. Struct. 16, No. 3, 389--419 (2008; Zbl 1153.18002) Full Text: DOI
Gumm, H. Peter On minimal coalgebras. (English) Zbl 1144.18002 Appl. Categ. Struct. 16, No. 3, 313-332 (2008). MSC: 18B20 68Q85 16W30 03B70 PDFBibTeX XMLCite \textit{H. P. Gumm}, Appl. Categ. Struct. 16, No. 3, 313--332 (2008; Zbl 1144.18002) Full Text: DOI
Prange, Ulrike; Ehrig, Hartmut; Lambers, Leen Construction and properties of adhesive and weak adhesive high-level replacement categories. (English) Zbl 1143.18005 Appl. Categ. Struct. 16, No. 3, 365-388 (2008). MSC: 18B20 68Q42 18A05 18A30 18A32 18C10 18D99 PDFBibTeX XMLCite \textit{U. Prange} et al., Appl. Categ. Struct. 16, No. 3, 365--388 (2008; Zbl 1143.18005) Full Text: DOI
Padberg, Julia Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components. (English) Zbl 1147.68055 Appl. Categ. Struct. 16, No. 3, 333-364 (2008). MSC: 68Q85 68Q42 18A99 PDFBibTeX XMLCite \textit{J. Padberg}, Appl. Categ. Struct. 16, No. 3, 333--364 (2008; Zbl 1147.68055) Full Text: DOI