Díaz-Caro, Alejandro; Malherbe, Octavio A categorical construction for the computational definition of vector spaces. (English) Zbl 1461.03016 Appl. Categ. Struct. 28, No. 5, 807-844 (2020). MSC: 03B40 18C50 18D15 18M05 68Q42 81P68 PDFBibTeX XMLCite \textit{A. Díaz-Caro} and \textit{O. Malherbe}, Appl. Categ. Struct. 28, No. 5, 807--844 (2020; Zbl 1461.03016) Full Text: DOI arXiv Link
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
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
Lafont, Yves Algebra and geometry of rewriting. (English) Zbl 1132.68036 Appl. Categ. Struct. 15, No. 4, 415-437 (2007). MSC: 68Q42 16E05 16E40 16S15 18D05 18D10 18G55 20J05 20M05 PDFBibTeX XMLCite \textit{Y. Lafont}, Appl. Categ. Struct. 15, No. 4, 415--437 (2007; Zbl 1132.68036) Full Text: DOI
Belala, F.; Bettaz, M. A natural semantic framework for ECATNets. (English) Zbl 1049.68083 Appl. Categ. Struct. 10, No. 5, 431-447 (2002). MSC: 68Q55 18C50 68Q42 68Q60 68Q85 PDFBibTeX XMLCite \textit{F. Belala} and \textit{M. Bettaz}, Appl. Categ. Struct. 10, No. 5, 431--447 (2002; Zbl 1049.68083) Full Text: DOI
Bloom, S. L.; Ésik, Z.; Labella, A.; Manes, E. G. Iteration 2-theories. (English) Zbl 0981.18005 Appl. Categ. Struct. 9, No. 2, 173-216 (2001). Reviewer: A.Maggiolo-Schettini (Pisa) MSC: 18C10 68Q42 18C50 68Q55 08B05 08B20 18D05 PDFBibTeX XMLCite \textit{S. L. Bloom} et al., Appl. Categ. Struct. 9, No. 2, 173--216 (2001; Zbl 0981.18005) Full Text: DOI
Bauderon, Michel; Jacquet, Hélène Pullback as a generic graph rewriting mechanism. (English) Zbl 0970.68080 Appl. Categ. Struct. 9, No. 1, 65-82 (2001). MSC: 68Q42 18A35 PDFBibTeX XMLCite \textit{M. Bauderon} and \textit{H. Jacquet}, Appl. Categ. Struct. 9, No. 1, 65--82 (2001; Zbl 0970.68080) Full Text: DOI
Taentzer, Gabriele Distributed graphs and graph transformation. (English) Zbl 0941.18002 Appl. Categ. Struct. 7, No. 4, 431-462 (1999). MSC: 18A10 68Q85 68Q60 68Q42 PDFBibTeX XMLCite \textit{G. Taentzer}, Appl. Categ. Struct. 7, No. 4, 431--462 (1999; Zbl 0941.18002) Full Text: DOI
Ribeiro, Leila Parallel composition of graph grammars. (English) Zbl 0949.68109 Appl. Categ. Struct. 7, No. 4, 405-430 (1999). MSC: 68Q60 18C10 PDFBibTeX XMLCite \textit{L. Ribeiro}, Appl. Categ. Struct. 7, No. 4, 405--430 (1999; Zbl 0949.68109) Full Text: DOI
Padberg, Julia Categorical approach to horizontal structuring and refinement of high-level replacement systems. (English) Zbl 0941.18001 Appl. Categ. Struct. 7, No. 4, 371-403 (1999). MSC: 18A10 68Q85 94C99 18A30 68Q42 PDFBibTeX XMLCite \textit{J. Padberg}, Appl. Categ. Struct. 7, No. 4, 371--403 (1999; Zbl 0941.18001) Full Text: DOI
Montanari, Ugo; Rossi, Francesca Graph rewriting, constraint solving and tiles for coordinating distributed systems. (English) Zbl 0949.68083 Appl. Categ. Struct. 7, No. 4, 333-370 (1999). MSC: 68Q42 68Q10 68R10 05C65 18A15 PDFBibTeX XMLCite \textit{U. Montanari} and \textit{F. Rossi}, Appl. Categ. Struct. 7, No. 4, 333--370 (1999; Zbl 0949.68083) Full Text: DOI
Corradini, Andrea; Gadducci, Fabio An algebraic presentation of term graphs, via gs-monoidal categories. (English) Zbl 0949.68121 Appl. Categ. Struct. 7, No. 4, 299-331 (1999). MSC: 68R10 18C10 18D10 05C75 68Q42 PDFBibTeX XMLCite \textit{A. Corradini} and \textit{F. Gadducci}, Appl. Categ. Struct. 7, No. 4, 299--331 (1999; Zbl 0949.68121) Full Text: DOI
Ehrig, Hartmut; Löwe, Michael Categorical principles, techniques and results for high-level-replacement systems in computer science. (English) Zbl 0784.68063 Appl. Categ. Struct. 1, No. 1, 21-50 (1993). MSC: 68Q99 68Q85 18A99 PDFBibTeX XMLCite \textit{H. Ehrig} and \textit{M. Löwe}, Appl. Categ. Struct. 1, No. 1, 21--50 (1993; Zbl 0784.68063) Full Text: DOI