Hamana, Makoto How to prove decidability of equational theories with second-order computation analyser SOL. (English) Zbl 1442.68027 J. Funct. Program. 29, Paper No. e20, 53 p. (2019). MSC: 68N18 03B25 03B40 03B70 18M05 68N15 68N30 68V15 PDFBibTeX XMLCite \textit{M. Hamana}, J. Funct. Program. 29, Paper No. e20, 53 p. (2019; Zbl 1442.68027) Full Text: DOI
Baldan, Paolo; Gadducci, Fabio Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. (English) Zbl 1417.68114 Acta Inf. 56, No. 1, 61-92 (2019). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 18B20 68Q10 PDFBibTeX XMLCite \textit{P. Baldan} and \textit{F. Gadducci}, Acta Inf. 56, No. 1, 61--92 (2019; Zbl 1417.68114) Full Text: DOI
Skeirik, Stephen; Meseguer, José Metalevel algorithms for variant satisfiability. (English) Zbl 1430.68423 J. Log. Algebr. Methods Program. 96, 81-110 (2018). MSC: 68V15 18C10 68Q42 PDFBibTeX XMLCite \textit{S. Skeirik} and \textit{J. Meseguer}, J. Log. Algebr. Methods Program. 96, 81--110 (2018; Zbl 1430.68423) Full Text: DOI Link
Meseguer, José Variant-based satisfiability in initial algebras. (English) Zbl 1396.68074 Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 3-34 (2016). MSC: 68Q65 18C10 68Q42 68T15 PDFBibTeX XMLCite \textit{J. Meseguer}, Commun. Comput. Inf. Sci. 596, 3--34 (2016; Zbl 1396.68074) Full Text: DOI
Skeirik, Stephen; Meseguer, José Metalevel algorithms for variant satisfiability. (English) Zbl 1367.68256 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 167-184 (2016). MSC: 68T15 18C10 68Q42 PDFBibTeX XMLCite \textit{S. Skeirik} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 9942, 167--184 (2016; Zbl 1367.68256) Full Text: DOI Link
Fiore, Marcelo; Hur, Chung-Kil Term equational systems and logics (extended abstract). (English) Zbl 1286.03120 Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 171-192 (2008). MSC: 03C05 08B20 03G30 18B25 PDFBibTeX XMLCite \textit{M. Fiore} and \textit{C.-K. Hur}, Electron. Notes Theor. Comput. Sci. 218, 171--192 (2008; Zbl 1286.03120) Full Text: DOI
Li, Yongming A categorical approach to lattice-valued fuzzy automata. (English) Zbl 1090.18003 Fuzzy Sets Syst. 157, No. 6, 855-864 (2006). MSC: 18B20 06F07 68Q70 18B35 PDFBibTeX XMLCite \textit{Y. Li}, Fuzzy Sets Syst. 157, No. 6, 855--864 (2006; Zbl 1090.18003) Full Text: DOI
Durán, Francisco; Meseguer, José Structured theories and institutions. (English) Zbl 1070.68090 Theor. Comput. Sci. 309, No. 1-3, 357-380 (2003). MSC: 68Q60 68Q65 18C10 PDFBibTeX XMLCite \textit{F. Durán} and \textit{J. Meseguer}, Theor. Comput. Sci. 309, No. 1--3, 357--380 (2003; Zbl 1070.68090) Full Text: DOI
Corradini, Andrea; Gadducci, Fabio Rewriting on cyclic structures: Equivalence between the operational and the categorical description. (English) Zbl 0940.18002 Theor. Inform. Appl. 33, No. 4-5, 467-493 (1999). MSC: 18C10 68Q42 18D05 18D10 68Q10 68R10 PDFBibTeX XMLCite \textit{A. Corradini} and \textit{F. Gadducci}, Theor. Inform. Appl. 33, No. 4--5, 467--493 (1999; Zbl 0940.18002) Full Text: DOI EuDML Link
Negri, Sara Semantical observations on the embedding of intuitionistic logic into intuitionistic linear logic. (English) Zbl 0836.03009 Math. Struct. Comput. Sci. 5, No. 1, 41-68 (1995). MSC: 03B20 18C10 PDFBibTeX XMLCite \textit{S. Negri}, Math. Struct. Comput. Sci. 5, No. 1, 41--68 (1995; Zbl 0836.03009) Full Text: DOI
Corradini, A.; Gadducci, F.; Montanari, U. Relating two categorical models of term rewriting. (English) Zbl 1508.68146 Hsiang, Jieh (ed.), Rewriting techniques and applications. 6th international conference, RTA-95, Kaiserslautern, Germany, April 5–7, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 914, 225-240 (1995). MSC: 68Q42 03B70 18C10 18N10 68Q85 PDFBibTeX XMLCite \textit{A. Corradini} et al., Lect. Notes Comput. Sci. 914, 225--240 (1995; Zbl 1508.68146) Full Text: DOI
Street, Ross Higher categories, strings, cubes and simplex equations. (English) Zbl 0827.18002 Appl. Categ. Struct. 3, No. 1, 29-77 (1995). Reviewer: A.Kock (Aarhus) MSC: 18D10 18D05 17B37 82B23 52B11 18-02 35Q40 18G50 PDFBibTeX XMLCite \textit{R. Street}, Appl. Categ. Struct. 3, No. 1, 29--77 (1995; Zbl 0827.18002) Full Text: DOI
Blute, R. F.; Panangaden, Prakash; Seely, R. A. G. Holomorphic models of exponential types in linear logic. (English) Zbl 1509.18020 Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics, 9th international conference, New Orleans, LA, USA, April 7–10, 1993. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 802, 474-512 (1994). MSC: 18M45 03F52 PDFBibTeX XMLCite \textit{R. F. Blute} et al., Lect. Notes Comput. Sci. 802, 474--512 (1994; Zbl 1509.18020) Full Text: DOI
Rosenthal, Kimmo I. \(*\)-autonomous categories of bimodules. (English) Zbl 0819.18005 J. Pure Appl. Algebra 97, No. 2, 189-202 (1994). Reviewer: P.T.Johnstone (Cambridge) MSC: 18D20 18D15 03B60 PDFBibTeX XMLCite \textit{K. I. Rosenthal}, J. Pure Appl. Algebra 97, No. 2, 189--202 (1994; Zbl 0819.18005) Full Text: DOI
Blute, Richard Linear logic, coherence and dinaturality. (English) Zbl 0782.18001 Theor. Comput. Sci. 115, No. 1, 3-41 (1993). Reviewer: S.V.Solov’ev (Aarhus) MSC: 18D15 03F03 03B20 18A23 03G30 PDFBibTeX XMLCite \textit{R. Blute}, Theor. Comput. Sci. 115, No. 1, 3--41 (1993; Zbl 0782.18001) Full Text: DOI
Zhang, Guo-Qiang A monoidal closed category of event structures. (English) Zbl 1518.68133 Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. 7th international conference, Pittsburgh, PA, USA, March 25–28, 1991. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 598, 426-435 (1992). MSC: 68Q10 03B70 18D15 68Q85 PDFBibTeX XMLCite \textit{G.-Q. Zhang}, Lect. Notes Comput. Sci. 598, 426--435 (1992; Zbl 1518.68133) Full Text: DOI
Hilken, B.; Rydeheard, D. E. Indexed categories for program development. (English) Zbl 0746.03019 Cah. Topologie Géom. Différ. Catég. 32, No. 2, 165-185 (1991). MSC: 03B70 03G30 68Q60 18D05 PDFBibTeX XMLCite \textit{B. Hilken} and \textit{D. E. Rydeheard}, Cah. Topologie Géom. Différ. Catégoriques 32, No. 2, 165--185 (1991; Zbl 0746.03019) Full Text: Numdam EuDML