Rosický, J. Discrete equational theories. (English) Zbl 07813380 Math. Struct. Comput. Sci. 34, No. 2, 147-160 (2024). MSC: 68-XX PDFBibTeX XMLCite \textit{J. Rosický}, Math. Struct. Comput. Sci. 34, No. 2, 147--160 (2024; Zbl 07813380) Full Text: DOI arXiv OA License
Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino A simple criterion for \(\mathcal{M}, \mathcal{N}\)-adhesivity. (English) Zbl 07809118 Theor. Comput. Sci. 982, Article ID 114280, 40 p. (2024). MSC: 68Qxx PDFBibTeX XMLCite \textit{D. Castelnovo} et al., Theor. Comput. Sci. 982, Article ID 114280, 40 p. (2024; Zbl 07809118) Full Text: DOI
Gaucher, Philippe Regular directed path and Moore flow. (English) Zbl 07806485 Rend. Mat. Appl., VII. Ser. 45, No. 1-2, 111-151 (2024). MSC: 55U35 68Q85 PDFBibTeX XMLCite \textit{P. Gaucher}, Rend. Mat. Appl., VII. Ser. 45, No. 1--2, 111--151 (2024; Zbl 07806485) Full Text: arXiv Link
Ye, Lingyuan Unification of modal logic via topological categories. (English) Zbl 07813640 Master, Jade (ed.) et al., Proceedings of the fifth international conference on applied category theory, ACT 2022, Glasgow, United Kingdom, July 18–22, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 383-399 (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{L. Ye}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 380, 383--399 (2023; Zbl 07813640) Full Text: DOI arXiv
Kihara, Takayuki; Pauly, Arno De groot duality for represented spaces. (English) Zbl 07787573 Della Vedova, Gianluca (ed.) et al., Unity of logic and computation. 19th conference on computability in Europe, CiE 2023, Batumi, Georgia, July 24–28, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13967, 89-101 (2023). MSC: 03B70 68Qxx PDFBibTeX XMLCite \textit{T. Kihara} and \textit{A. Pauly}, Lect. Notes Comput. Sci. 13967, 89--101 (2023; Zbl 07787573) Full Text: DOI
Turkenburg, Ruben; Kupke, Clemens; Rot, Jurriaan; Schoen, Ezra Preservation and reflection of bisimilarity via invertible steps. (English) Zbl 07770344 Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 328-348 (2023). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{R. Turkenburg} et al., Lect. Notes Comput. Sci. 13992, 328--348 (2023; Zbl 07770344) Full Text: DOI
Goncharov, Sergey; Hofmann, Dirk; Nora, Pedro; Schröder, Lutz; Wild, Paul Kantorovich functors and characteristic logics for behavioural distances. (English) Zbl 07770331 Kupferman, Orna (ed.) et al., Foundations of software science and computation structures. 26th international conference, FOSSACS 2023, held as part of the European joint conferences on theory and practice of software, ETAPS 2023, Paris, France, April 22–27, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13992, 46-67 (2023). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{S. Goncharov} et al., Lect. Notes Comput. Sci. 13992, 46--67 (2023; Zbl 07770331) Full Text: DOI arXiv
Poinsot, Laurent; Porst, Hans-E. The algebra of the Feistel-Toffoli construction. (English) Zbl 1524.18013 J. Algebra Appl. 22, No. 12, Article ID 2350262, 23 p. (2023). Reviewer: Philippe Gaucher (Paris) MSC: 18D40 18D30 68Q09 PDFBibTeX XMLCite \textit{L. Poinsot} and \textit{H.-E. Porst}, J. Algebra Appl. 22, No. 12, Article ID 2350262, 23 p. (2023; Zbl 1524.18013) Full Text: DOI arXiv
Porst, Hans-E. The monoidal nature of the Feistel-Toffoli construction. (English) Zbl 1524.18039 Quaest. Math. 46, Part Suppl. 1, 253-265 (2023). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18M05 18D40 68Q09 PDFBibTeX XMLCite \textit{H.-E. Porst}, Quaest. Math. 46, Part Suppl. 1, 253--265 (2023; Zbl 1524.18039) Full Text: DOI
Behr, Nicolas; Harmer, Russ; Krivine, Jean Fundamentals of compositional rewriting theory. (English) Zbl 07741959 J. Log. Algebr. Methods Program. 135, Article ID 100893, 78 p. (2023). MSC: 68-XX PDFBibTeX XMLCite \textit{N. Behr} et al., J. Log. Algebr. Methods Program. 135, Article ID 100893, 78 p. (2023; Zbl 07741959) Full Text: DOI arXiv
Trancón y. Widemann, Baltasar; Lepper, Markus Towards a theory of conversion relations for prefixed units of measure. (English) Zbl 07728644 Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 258-273 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{B. Trancón y. Widemann} and \textit{M. Lepper}, Lect. Notes Comput. Sci. 13896, 258--273 (2023; Zbl 07728644) Full Text: DOI arXiv
Guttmann, Walter Dependences between domain constructions in heterogeneous relation algebras. (English) Zbl 07728635 Glück, Roland (ed.) et al., Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13896, 105-121 (2023). MSC: 68Qxx PDFBibTeX XMLCite \textit{W. Guttmann}, Lect. Notes Comput. Sci. 13896, 105--121 (2023; Zbl 07728635) Full Text: DOI
Grochow, Joshua A. Polynomial-time axioms of choice and polynomial-time cardinality. (English) Zbl 07719400 Theory Comput. Syst. 67, No. 3, 627-669 (2023). MSC: 68Qxx 03Dxx 03-XX PDFBibTeX XMLCite \textit{J. A. Grochow}, Theory Comput. Syst. 67, No. 3, 627--669 (2023; Zbl 07719400) Full Text: DOI arXiv
Grilliette, Will; Rusnak, Lucas J. Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials. (English) Zbl 1518.05144 J. Algebr. Comb. 58, No. 1, 1-36 (2023). MSC: 05C65 05C76 68R10 18A40 18B25 PDFBibTeX XMLCite \textit{W. Grilliette} and \textit{L. J. Rusnak}, J. Algebr. Comb. 58, No. 1, 1--36 (2023; Zbl 1518.05144) Full Text: DOI arXiv
Overbeek, Roy; Endrullis, Jörg; Rosset, Aloïs Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes. (English) Zbl 1512.68131 J. Log. Algebr. Methods Program. 133, Article ID 100873, 25 p. (2023). MSC: 68Q42 18B25 PDFBibTeX XMLCite \textit{R. Overbeek} et al., J. Log. Algebr. Methods Program. 133, Article ID 100873, 25 p. (2023; Zbl 1512.68131) Full Text: DOI arXiv
Söldner, Robert; Plump, Detlef Towards mechanised proofs in double-pushout graph transformation. (English) Zbl 07806734 Heckel, Reiko (ed.) et al., Proceedings of the thirteenth international workshop on graph computation models, GCM, Nantes, France, July 6, 2022. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 374, 59-75 (2022). MSC: 68-XX 05-XX PDFBibTeX XMLCite \textit{R. Söldner} and \textit{D. Plump}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 374, 59--75 (2022; Zbl 07806734) Full Text: arXiv Link
Castelnovo, Davide; Gadducci, Fabio; Miculan, Marino A new criterion for \(\mathcal{M}, \mathcal{N} \)-adhesivity, with an application to hierarchical graphs. (English) Zbl 07793030 Bouyer, Patricia (ed.) et al., Foundations of software science and computation structures. 25th international conference, FOSSACS 2022, held as part of the European joint conferences on theory and practice of software, ETAPS 2022, Munich, Germany, April 2–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13242, 205-224 (2022). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{D. Castelnovo} et al., Lect. Notes Comput. Sci. 13242, 205--224 (2022; Zbl 07793030) Full Text: DOI arXiv
Bezhanishvili, Nick; de Groot, Jim; Venema, Yde Coalgebraic geometric logic: basic theory. (English) Zbl 07639906 Log. Methods Comput. Sci. 18, No. 4, Paper No. 10, 41 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 10, 41 p. (2022; Zbl 07639906) Full Text: DOI arXiv
Pous, Damien; Rot, Jurriaan; Turkenburg, Ruben Corecursion up-to via causal transformations. (English) Zbl 07628070 Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 133-154 (2022). MSC: 68Q65 PDFBibTeX XMLCite \textit{D. Pous} et al., Lect. Notes Comput. Sci. 13225, 133--154 (2022; Zbl 07628070) Full Text: DOI
Abramsky, Samson; Jakl, Tomáš; Paine, Thomas Discrete density comonads and graph parameters. (English) Zbl 07628065 Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 23-44 (2022). MSC: 68Q65 PDFBibTeX XMLCite \textit{S. Abramsky} et al., Lect. Notes Comput. Sci. 13225, 23--44 (2022; Zbl 07628065) Full Text: DOI arXiv
Beohar, Harsh; König, Barbara; Küpper, Sebastian; Mika-Michalski, Christina Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic. (English) Zbl 07628064 Hansen, Helle Hvid (ed.) et al., Coalgebraic methods in computer science. 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2–3, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13225, 1-22 (2022). MSC: 68Q65 PDFBibTeX XMLCite \textit{H. Beohar} et al., Lect. Notes Comput. Sci. 13225, 1--22 (2022; Zbl 07628064) Full Text: DOI arXiv
Šostak, Alexander; Uljane, Ingrida On two categories of many-level fuzzy morphological spaces. (English) Zbl 1509.68290 Cornejo, María Eugenia (ed.) et al., Computational intelligence and mathematics for tackling complex problems 2. Selected papers based on the presentations at the 11th European symposium on computational intelligence and mathematics, Toledo, Spain, October 2–5, 2019. Cham: Springer. Stud. Comput. Intell. 955, 207-217 (2022). MSC: 68U05 03E72 18B99 54A40 PDFBibTeX XMLCite \textit{A. Šostak} and \textit{I. Uljane}, Stud. Comput. Intell. 955, 207--217 (2022; Zbl 1509.68290) Full Text: DOI
Baldan, Paolo; Raffaetà, Alessandra Minimisation of event structures. (English) Zbl 07601544 Theor. Comput. Sci. 935, 174-199 (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Baldan} and \textit{A. Raffaetà}, Theor. Comput. Sci. 935, 174--199 (2022; Zbl 07601544) Full Text: DOI arXiv
Wißmann, Thorsten Minimality notions via factorization systems and examples. (English) Zbl 07596579 Log. Methods Comput. Sci. 18, No. 3, Paper No. 31, 26 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{T. Wißmann}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 31, 26 p. (2022; Zbl 07596579) Full Text: DOI arXiv
Bílková, Marta; Dostál, Matěj Moss’ logic for ordered coalgebras. (English) Zbl 07577582 Log. Methods Comput. Sci. 18, No. 3, Paper No. 18, 61 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Bílková} and \textit{M. Dostál}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 18, 61 p. (2022; Zbl 07577582) Full Text: arXiv Link
Bezhanishvili, Guram; Bezhanishvili, Nick; de Groot, Jim A coalgebraic approach to dualities for neighborhood frames. (English) Zbl 07577568 Log. Methods Comput. Sci. 18, No. 3, Paper No. 4, 39 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 4, 39 p. (2022; Zbl 07577568) Full Text: arXiv Link
Wild, Paul; Schröder, Lutz Characteristic logics for behavioural hemimetrics via fuzzy lax extensions. (English) Zbl 07566075 Log. Methods Comput. Sci. 18, No. 2, Paper No. 19, 35 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{P. Wild} and \textit{L. Schröder}, Log. Methods Comput. Sci. 18, No. 2, Paper No. 19, 35 p. (2022; Zbl 07566075) Full Text: arXiv Link
Hoefnagel, Michael; Jacqmin, Pierre-Alain; Janelidze, Zurab The matrix taxonomy of finitely complete categories. (English) Zbl 1499.18018 Theory Appl. Categ. 38, 737-790 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18E13 08B05 18-08 68V20 03G30 68V05 18A35 18B15 03C35 08C05 PDFBibTeX XMLCite \textit{M. Hoefnagel} et al., Theory Appl. Categ. 38, 737--790 (2022; Zbl 1499.18018) Full Text: arXiv Link
Bezhanishvili, Guram; Carai, Luca; Morandi, Patrick Duality for powerset coalgebras. (English) Zbl 07471716 Log. Methods Comput. Sci. 18, No. 1, Paper No. 27, 17 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 27, 17 p. (2022; Zbl 07471716) Full Text: arXiv Link
Hosseini, S. N.; Yeganeh, L. Partial pullback complement rewriting along admissible matches. (English) Zbl 1478.68114 Theor. Comput. Sci. 898, 149-179 (2022). MSC: 68Q42 18A30 18B50 PDFBibTeX XMLCite \textit{S. N. Hosseini} and \textit{L. Yeganeh}, Theor. Comput. Sci. 898, 149--179 (2022; Zbl 1478.68114) Full Text: DOI
Gaucher, Philippe Six model categories for directed homotopy. (English) Zbl 1496.18012 Categ. Gen. Algebr. Struct. Appl. 15, No. 1, 145-181 (2021). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18C35 55U35 68Q85 PDFBibTeX XMLCite \textit{P. Gaucher}, Categ. Gen. Algebr. Struct. Appl. 15, No. 1, 145--181 (2021; Zbl 1496.18012) Full Text: DOI arXiv Backlinks: MO MO
Lye, Aaron Transformations of reaction systems over categories by means of epi-mono factorization and functors. (English) Zbl 1492.68050 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 40-59 (2021). MSC: 68Q07 18A32 18B50 PDFBibTeX XMLCite \textit{A. Lye}, Lect. Notes Comput. Sci. 12741, 40--59 (2021; Zbl 1492.68050) Full Text: DOI
Behr, Nicolas; Harmer, Russ; Krivine, Jean Concurrency theorems for non-linear rewriting theories. (English) Zbl 1489.68115 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 3-21 (2021). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{N. Behr} et al., Lect. Notes Comput. Sci. 12741, 3--21 (2021; Zbl 1489.68115) Full Text: DOI arXiv
Kupke, Clemens; Rot, Jurriaan Expressive logics for coinductive predicates. (English) Zbl 07471679 Log. Methods Comput. Sci. 17, No. 4, Paper No. 19, 30 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{C. Kupke} and \textit{J. Rot}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 19, 30 p. (2021; Zbl 07471679) Full Text: arXiv Link
Stünkel, Patrick; König, Harald; Lamo, Yngve; Rutle, Adrian Comprehensive systems: a formal foundation for multi-model consistency management. (English) Zbl 1522.68347 Formal Asp. Comput. 33, No. 6, 1067-1114 (2021). MSC: 68Q60 18B50 68Q42 PDFBibTeX XMLCite \textit{P. Stünkel} et al., Formal Asp. Comput. 33, No. 6, 1067--1114 (2021; Zbl 1522.68347) Full Text: DOI
Boy de la Tour, Thierry; Echahed, Rachid Parallel coherent graph transformations. (English) Zbl 07415134 Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 75-97 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. Boy de la Tour} and \textit{R. Echahed}, Lect. Notes Comput. Sci. 12669, 75--97 (2021; Zbl 07415134) Full Text: DOI HAL
Boy de la Tour, Thierry Monographs, a category of graph structures. (English) Zbl 07415133 Roggenbach, Markus (ed.), Recent trends in algebraic development techniques. 25th international workshop, WADT 2020, virtual event, April 29, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12669, 54-74 (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{T. Boy de la Tour}, Lect. Notes Comput. Sci. 12669, 54--74 (2021; Zbl 07415133) Full Text: DOI HAL
Wild, Paul; Schröder, Lutz A quantified coalgebraic van Benthem theorem. (English) Zbl 07410443 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 551-571 (2021). MSC: 68Nxx 68Qxx PDFBibTeX XMLCite \textit{P. Wild} and \textit{L. Schröder}, Lect. Notes Comput. Sci. 12650, 551--571 (2021; Zbl 07410443) Full Text: DOI
Stünkel, Patrick; König, Harald Single pushout rewriting in comprehensive systems of graph-like structures. (English) Zbl 1517.68171 Theor. Comput. Sci. 884, 23-43 (2021). MSC: 68Q42 18A30 PDFBibTeX XMLCite \textit{P. Stünkel} and \textit{H. König}, Theor. Comput. Sci. 884, 23--43 (2021; Zbl 1517.68171) Full Text: DOI
Kreowski, Hans-Jörg; Lye, Aaron A categorial approach to reaction systems: first steps. (English) Zbl 1491.68071 Theor. Comput. Sci. 881, 111-128 (2021). MSC: 68Q07 18A10 68Q42 PDFBibTeX XMLCite \textit{H.-J. Kreowski} and \textit{A. Lye}, Theor. Comput. Sci. 881, 111--128 (2021; Zbl 1491.68071) Full Text: DOI
Gaucher, Philippe Left properness of flows. (English) Zbl 1481.18027 Theory Appl. Categ. 37, 562-612 (2021). Reviewer: Jiří Rosický (Brno) MSC: 18N40 68Q85 55U35 PDFBibTeX XMLCite \textit{P. Gaucher}, Theory Appl. Categ. 37, 562--612 (2021; Zbl 1481.18027) Full Text: arXiv Link Backlinks: MO
Singh, Pankaj Kumar; Tiwari, Surabhi A fixed point theorem in rough semi-linear uniform spaces. (English) Zbl 1477.68311 Theor. Comput. Sci. 851, 111-120 (2021). MSC: 68T37 54E15 54H25 68U10 PDFBibTeX XMLCite \textit{P. K. Singh} and \textit{S. Tiwari}, Theor. Comput. Sci. 851, 111--120 (2021; Zbl 1477.68311) Full Text: DOI
Schuster, Peter; Wessel, Daniel The computational significance of Hausdorff’s maximal chain principle. (English) Zbl 07633512 Anselmo, Marcella (ed.) et al., Beyond the horizon of computability. 16th conference on computability in Europe, CiE 2020, Fisciano, Italy, June 29 – July 3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12098, 239-250 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{P. Schuster} and \textit{D. Wessel}, Lect. Notes Comput. Sci. 12098, 239--250 (2020; Zbl 07633512) Full Text: DOI
König, Harald; Stünkel, Patrick Single pushout rewriting in comprehensive systems. (English) Zbl 1502.68153 Gadducci, Fabio (ed.) et al., Graph transformation. 13th international conference, ICGT 2020, held as part of STAF 2020, Bergen, Norway, June 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12150, 91-108 (2020). MSC: 68Q42 18A30 PDFBibTeX XMLCite \textit{H. König} and \textit{P. Stünkel}, Lect. Notes Comput. Sci. 12150, 91--108 (2020; Zbl 1502.68153) Full Text: DOI
Maruyama, Yoshihiro Higher-order categorical substructural logic: expanding the horizon of tripos theory. (English) Zbl 07578342 Fahrenberg, Uli (ed.) et al., Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26–29, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12062, 187-203 (2020). MSC: 68Qxx PDFBibTeX XMLCite \textit{Y. Maruyama}, Lect. Notes Comput. Sci. 12062, 187--203 (2020; Zbl 07578342) Full Text: DOI
Wild, Paul; Schröder, Lutz Characteristic logics for behavioural metrics via fuzzy Lax extensions. (English) Zbl 07559483 Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 27, 23 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Wild} and \textit{L. Schröder}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 27, 23 p. (2020; Zbl 07559483) Full Text: DOI
Li, Lingqiang; Jin, Qiu; Yao, Bingxue; Wu, Jiachao A rough set model based on fuzzifying neighborhood systems. (English) Zbl 1490.68226 Soft Comput. 24, No. 8, 6085-6099 (2020). MSC: 68T37 54A05 54A40 PDFBibTeX XMLCite \textit{L. Li} et al., Soft Comput. 24, No. 8, 6085--6099 (2020; Zbl 1490.68226) Full Text: DOI
Kreowski, Hans-Jörg; Lye, Aaron Graph surfing in reaction systems from a categorial perspective. (English) Zbl 1491.68072 Hoffmann, Berthold (ed.) et al., Proceedings of the eleventh international workshop on graph computation models, GCM 2020, online-workshop, June 24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 330, 71-87 (2020). MSC: 68Q07 18A10 68Q42 PDFBibTeX XMLCite \textit{H.-J. Kreowski} and \textit{A. Lye}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 330, 71--87 (2020; Zbl 1491.68072) Full Text: arXiv Link
Hofmann, Dirk; Nora, Pedro Hausdorff coalgebras. (English) Zbl 1464.18009 Appl. Categ. Struct. 28, No. 5, 773-806 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18D20 18B35 18C20 54B30 18C15 54E99 68Q55 PDFBibTeX XMLCite \textit{D. Hofmann} and \textit{P. Nora}, Appl. Categ. Struct. 28, No. 5, 773--806 (2020; Zbl 1464.18009) Full Text: DOI arXiv
Kosiol, Jens; Fritsche, Lars; Schürr, Andy; Taentzer, Gabriele Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs. (English) Zbl 1452.68096 J. Log. Algebr. Methods Program. 115, Article ID 100565, 34 p. (2020). MSC: 68Q42 18A25 18A30 PDFBibTeX XMLCite \textit{J. Kosiol} et al., J. Log. Algebr. Methods Program. 115, Article ID 100565, 34 p. (2020; Zbl 1452.68096) Full Text: DOI
Milius, Stefan; Pattinson, Dirk; Wißmann, Thorsten A new foundation for finitary corecursion and iterative algebras. (English) Zbl 1435.68208 Inf. Comput. 271, Article ID 104456, 27 p. (2020). MSC: 68Q70 18B20 PDFBibTeX XMLCite \textit{S. Milius} et al., Inf. Comput. 271, Article ID 104456, 27 p. (2020; Zbl 1435.68208) Full Text: DOI arXiv
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz Efficient and modular coalgebraic partition refinement. (English) Zbl 1442.68113 Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020). MSC: 68Q65 60J22 68Q45 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{T. Wißmann} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020; Zbl 1442.68113) Full Text: arXiv
Kulcsár, Géza; Corradini, Andrea; Lochau, Malte A calculus of concurrent graph-rewriting processes. (English) Zbl 1494.68115 J. Log. Algebr. Methods Program. 110, Article ID 100500, 27 p. (2020). MSC: 68Q42 68Q85 PDFBibTeX XMLCite \textit{G. Kulcsár} et al., J. Log. Algebr. Methods Program. 110, Article ID 100500, 27 p. (2020; Zbl 1494.68115) Full Text: DOI
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila Algebraic graph rewriting with controlled embedding. (English) Zbl 1436.68155 Theor. Comput. Sci. 802, 19-37 (2020). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Corradini} et al., Theor. Comput. Sci. 802, 19--37 (2020; Zbl 1436.68155) Full Text: DOI
Bonchi, Filippo; Seeber, Jens; Sobocinski, Pawel The axiom of choice in Cartesian bicategories. (English) Zbl 07649898 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 15, 17 p. (2019). MSC: 68Qxx PDFBibTeX XMLCite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 15, 17 p. (2019; Zbl 07649898) Full Text: DOI
van Heerdt, Gerco; Kappé, Tobias; Rot, Jurriaan; Sammartino, Matteo; Silva, Alexandra Tree automata as algebras: minimisation and determinisation. (English) Zbl 1516.68052 Roggenbach, Markus (ed.) et al., 8th conference on algebra and coalgebra in computer science, CALCO 2019, London, United Kingdom, June 3–6, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 139, Article 6, 22 p. (2019). MSC: 68Q70 18B20 PDFBibTeX XMLCite \textit{G. van Heerdt} et al., LIPIcs -- Leibniz Int. Proc. Inform. 139, Article 6, 22 p. (2019; Zbl 1516.68052) Full Text: DOI arXiv
Beohar, Harsh; Küpper, Sebastian Bisimulation maps in presheaf categories. (English) Zbl 07515952 König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 5-24 (2019). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{H. Beohar} and \textit{S. Küpper}, Electron. Notes Theor. Comput. Sci. 347, 5--24 (2019; Zbl 07515952) Full Text: DOI arXiv
Wißmann, Thorsten; Milius, Stefan; Katsumata, Shin-ya; Dubut, Jérémy A coalgebraic view on reachability. (English) Zbl 07177892 Commentat. Math. Univ. Carol. 60, No. 4, 605-638 (2019). MSC: 18A99 18B20 68Q99 PDFBibTeX XMLCite \textit{T. Wißmann} et al., Commentat. Math. Univ. Carol. 60, No. 4, 605--638 (2019; Zbl 07177892) Full Text: DOI arXiv
Estaji, A. A.; Mobini, M. On injectivity in category of rough sets. (English) Zbl 1415.18002 Soft Comput. 23, No. 1, 27-38 (2019). MSC: 18B05 18G05 68T37 PDFBibTeX XMLCite \textit{A. A. Estaji} and \textit{M. Mobini}, Soft Comput. 23, No. 1, 27--38 (2019; Zbl 1415.18002) Full Text: DOI
Corradini, Andrea; Duval, Dominique; Echahed, Rachid; Prost, Frédéric; Ribeiro, Leila The PBPO graph transformation approach. (English) Zbl 1417.68075 J. Log. Algebr. Methods Program. 103, 213-231 (2019). MSC: 68Q42 PDFBibTeX XMLCite \textit{A. Corradini} et al., J. Log. Algebr. Methods Program. 103, 213--231 (2019; Zbl 1417.68075) Full Text: DOI
He, Qingyu; Xu, Luoshan Weak algebraic information systems and a new equivalent category of DOM of domains. (English) Zbl 1411.68055 Theor. Comput. Sci. 763, 1-11 (2019). MSC: 68Q55 06B35 PDFBibTeX XMLCite \textit{Q. He} and \textit{L. Xu}, Theor. Comput. Sci. 763, 1--11 (2019; Zbl 1411.68055) Full Text: DOI
Gautam, Vinay; Tiwari, S. P.; Pal, Priyanka; Tripathi, Jayanti Categories of automata and languages based on a complete residuated lattice. (English) Zbl 1504.68101 New Math. Nat. Comput. 14, No. 3, 423-444 (2018). MSC: 68Q45 18B20 PDFBibTeX XMLCite \textit{V. Gautam} et al., New Math. Nat. Comput. 14, No. 3, 423--444 (2018; Zbl 1504.68101) Full Text: DOI
Corbet, René; Kerber, Michael The representation theorem of persistence revisited and generalized. (English) Zbl 1469.16083 J. Appl. Comput. Topol. 2, No. 1-2, 1-31 (2018). MSC: 16W50 55N31 06F25 16D90 68U05 PDFBibTeX XMLCite \textit{R. Corbet} and \textit{M. Kerber}, J. Appl. Comput. Topol. 2, No. 1--2, 1--31 (2018; Zbl 1469.16083) Full Text: DOI arXiv
Diker, Murat; Uğur, Ayşegül Altay Dicovering approximation spaces and definability. (English) Zbl 1448.18006 Int. J. Approx. Reasoning 101, 255-275 (2018). MSC: 18B99 03E72 68T37 PDFBibTeX XMLCite \textit{M. Diker} and \textit{A. A. Uğur}, Int. J. Approx. Reasoning 101, 255--275 (2018; Zbl 1448.18006) Full Text: DOI
Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro Fibrational bisimulations and quantitative reasoning. (English) Zbl 1509.18025 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 190-213 (2018). MSC: 18N45 68Q85 PDFBibTeX XMLCite \textit{D. Sprunger} et al., Lect. Notes Comput. Sci. 11202, 190--213 (2018; Zbl 1509.18025) Full Text: DOI HAL
König, Barbara; Küpper, Sebastian A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. (English) Zbl 1398.68353 Soft Comput. 22, No. 4, 1103-1120 (2018). MSC: 68Q70 PDFBibTeX XMLCite \textit{B. König} and \textit{S. Küpper}, Soft Comput. 22, No. 4, 1103--1120 (2018; Zbl 1398.68353) Full Text: DOI
Neves, Renato; Barbosa, Luís S. Languages and models for hybrid automata: a coalgebraic perspective. (English) Zbl 1400.68112 Theor. Comput. Sci. 744, 113-142 (2018). MSC: 68Q45 18B20 68Q70 68Q85 PDFBibTeX XMLCite \textit{R. Neves} and \textit{L. S. Barbosa}, Theor. Comput. Sci. 744, 113--142 (2018; Zbl 1400.68112) Full Text: DOI Link
Šlapal, Josef Categorical aspects of inducing closure operators on graphs by sets of walks. (English) Zbl 1391.68116 J. Comput. Syst. Sci. 95, 143-150 (2018). MSC: 68U05 06A15 18B99 54A05 68R10 PDFBibTeX XMLCite \textit{J. Šlapal}, J. Comput. Syst. Sci. 95, 143--150 (2018; Zbl 1391.68116) Full Text: DOI
Beohar, Harsh; König, Barbara; Küpper, Sebastian; Silva, Alexandra; Wißmann, Thorsten A coalgebraic treatment of conditional transition systems with upgrades. (English) Zbl 1459.68137 Log. Methods Comput. Sci. 14, No. 1, Paper No. 19, 32 p. (2018). MSC: 68Q85 18C20 68Q55 PDFBibTeX XMLCite \textit{H. Beohar} et al., Log. Methods Comput. Sci. 14, No. 1, Paper No. 19, 32 p. (2018; Zbl 1459.68137) Full Text: DOI arXiv
Ebrahimi, M. M.; Keshvardoost, Kh.; Mahmoudi, M. Simple and subdirectly irreducible finitely supported \(Cb\)-sets. (English) Zbl 1380.68122 Theor. Comput. Sci. 706, 1-21 (2018). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{M. M. Ebrahimi} et al., Theor. Comput. Sci. 706, 1--21 (2018; Zbl 1380.68122) Full Text: DOI
Wolski, Marcin; Gomolińska, Anna Rough and near: modal history of two theories. (English) Zbl 1489.68306 Polkowski, Lech (ed.) et al., Rough sets. International joint conference, IJCRS 2017, Olsztyn, Poland, July 3–7, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10313, 109-122 (2017). MSC: 68T37 03B45 54E05 PDFBibTeX XMLCite \textit{M. Wolski} and \textit{A. Gomolińska}, Lect. Notes Comput. Sci. 10313, 109--122 (2017; Zbl 1489.68306) Full Text: DOI
Diker, Murat; Altay Uğur, Ayşegül; Bayhan, Sadık Textural unit operations in rough set theory. (English) Zbl 1436.03274 Inf. Sci. 418-419, 153-168 (2017). MSC: 03E72 68T37 PDFBibTeX XMLCite \textit{M. Diker} et al., Inf. Sci. 418--419, 153--168 (2017; Zbl 1436.03274) Full Text: DOI
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Efficient coalgebraic partition refinement. (English) Zbl 1442.68112 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017). MSC: 68Q65 60J22 68Q45 68Q85 68Q87 68W40 PDFBibTeX XMLCite \textit{U. Dorsch} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017; Zbl 1442.68112) Full Text: DOI arXiv
Mavoungou, Jean-Paul Extensional quotient coalgebras. (English) Zbl 1390.68482 Acta Univ. Sapientiae, Math. 9, No. 2, 303-323 (2017). MSC: 68Q85 18C50 PDFBibTeX XMLCite \textit{J.-P. Mavoungou}, Acta Univ. Sapientiae, Math. 9, No. 2, 303--323 (2017; Zbl 1390.68482) Full Text: DOI
Polat, Kadirhan An application for descriptive nearness: iris recognition. (English) Zbl 1380.94031 Topol. Algebra Appl. 5, 33-36 (2017). MSC: 94A08 68T10 PDFBibTeX XMLCite \textit{K. Polat}, Topol. Algebra Appl. 5, 33--36 (2017; Zbl 1380.94031) Full Text: DOI
Pin, Jean-Éric Dual space of a lattice as the completion of a Pervin space (extended abstract). (English) Zbl 1486.06007 Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10226, 24-40 (2017). MSC: 06D50 54H12 68Q45 PDFBibTeX XMLCite \textit{J.-É. Pin}, Lect. Notes Comput. Sci. 10226, 24--40 (2017; Zbl 1486.06007) Full Text: DOI
Behrisch, Mike; Kerkhoff, Sebastian; Pöschel, Reinhard; Schneider, Friedrich Martin; Siegmund, Stefan Dynamical systems in categories. (English) Zbl 1369.37024 Appl. Categ. Struct. 25, No. 1, 29-57 (2017). MSC: 37B55 68Q65 18C15 18D15 PDFBibTeX XMLCite \textit{M. Behrisch} et al., Appl. Categ. Struct. 25, No. 1, 29--57 (2017; Zbl 1369.37024) Full Text: DOI Link
Rot, Jurriaan Coalgebraic minimization of automata by initiality and finality. (English) Zbl 1401.68217 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 253-276 (2016). MSC: 68Q70 18B20 PDFBibTeX XMLCite \textit{J. Rot}, Electron. Notes Theor. Comput. Sci. 325, 253--276 (2016; Zbl 1401.68217) Full Text: DOI
Denniston, Jeffrey T.; Melton, Austin; Rodabaugh, Stephen E.; Solovyov, Sergey A. Topological systems as a framework for institutions. (English) Zbl 1394.18002 Fuzzy Sets Syst. 298, 91-108 (2016). MSC: 18B30 54B30 68Q65 PDFBibTeX XMLCite \textit{J. T. Denniston} et al., Fuzzy Sets Syst. 298, 91--108 (2016; Zbl 1394.18002) Full Text: DOI arXiv
Neves, Renato; Barbosa, Luis S.; Hofmann, Dirk; Martins, Manuel A. Continuity as a computational effect. (English) Zbl 1355.68059 J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1057-1085 (2016). MSC: 68N30 18C20 PDFBibTeX XMLCite \textit{R. Neves} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 2, 1057--1085 (2016; Zbl 1355.68059) Full Text: DOI arXiv
Zarrad, Mehdi; Gumm, H. Peter Transitivity and difunctionality of bisimulations. (English) Zbl 1475.18008 Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9608, 33-52 (2016). MSC: 18C99 68Q85 PDFBibTeX XMLCite \textit{M. Zarrad} and \textit{H. P. Gumm}, Lect. Notes Comput. Sci. 9608, 33--52 (2016; Zbl 1475.18008) Full Text: DOI HAL
Kovalyov, S. P. Category-theoretic models of algebraic computer systems. (English. Russian original) Zbl 1362.68075 Comput. Math. Math. Phys. 56, No. 1, 173-184 (2016); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 1, 167-179 (2016). MSC: 68Q05 03B50 18A40 PDFBibTeX XMLCite \textit{S. P. Kovalyov}, Comput. Math. Math. Phys. 56, No. 1, 173--184 (2016; Zbl 1362.68075); translation from Zh. Vychisl. Mat. Mat. Fiz. 56, No. 1, 167--179 (2016) Full Text: DOI
Kovalyov, S. P. Category-theoretic approach to software systems design. (English. Russian original) Zbl 1356.68042 J. Math. Sci., New York 214, No. 6, 814-853 (2016); translation from Fundam. Prikl. Mat. 19, No. 3, 111-170 (2014). MSC: 68N30 PDFBibTeX XMLCite \textit{S. P. Kovalyov}, J. Math. Sci., New York 214, No. 6, 814--853 (2016; Zbl 1356.68042); translation from Fundam. Prikl. Mat. 19, No. 3, 111--170 (2014) Full Text: DOI
Uğur, Ayşegül Altay A note on dynamic relational systems. (English) Zbl 1355.68250 Inf. Sci. 293, 327-337 (2015). MSC: 68T30 68T37 PDFBibTeX XMLCite \textit{A. A. Uğur}, Inf. Sci. 293, 327--337 (2015; Zbl 1355.68250) Full Text: DOI
Nasab, A. R. Shir Ali; Hosseini, S. N. Partial pullback complement rewriting. (English) Zbl 1328.68104 Theor. Comput. Sci. 594, 44-64 (2015). MSC: 68Q42 18A30 PDFBibTeX XMLCite \textit{A. R. S. A. Nasab} and \textit{S. N. Hosseini}, Theor. Comput. Sci. 594, 44--64 (2015; Zbl 1328.68104) Full Text: DOI
Diker, Murat A category approach to relation preserving functions in rough set theory. (English) Zbl 1388.68265 Int. J. Approx. Reasoning 56, Part A, 71-86 (2015). MSC: 68T37 03E72 18B10 PDFBibTeX XMLCite \textit{M. Diker}, Int. J. Approx. Reasoning 56, Part A, 71--86 (2015; Zbl 1388.68265) Full Text: DOI
Ţuţu, Ionuţ Parameterisation for abstract structured specifications. (English) Zbl 1358.68201 Theor. Comput. Sci. 517, 102-142 (2014). MSC: 68Q65 PDFBibTeX XMLCite \textit{I. Ţuţu}, Theor. Comput. Sci. 517, 102--142 (2014; Zbl 1358.68201) Full Text: DOI
Fahrenberg, Uli; Legay, Axel History-preserving bisimilarity for higher-dimensional automata via open maps. (English) Zbl 1334.68117 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 165-178 (2013). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{U. Fahrenberg} and \textit{A. Legay}, Electron. Notes Theor. Comput. Sci. 298, 165--178 (2013; Zbl 1334.68117) Full Text: DOI arXiv
Solovyov, Sergey A. Lattice-valued topological systems as a framework for lattice-valued formal concept analysis. (English) Zbl 1403.06009 J. Math. 2013, Article ID 506275, 33 p. (2013). MSC: 06B23 06A15 06B30 18B30 68T30 PDFBibTeX XMLCite \textit{S. A. Solovyov}, J. Math. 2013, Article ID 506275, 33 p. (2013; Zbl 1403.06009) Full Text: DOI
Wolski, Marcin Toward foundations of near sets: (pre-)sheaf theoretic approach. (English) Zbl 1262.68167 Math. Comput. Sci. 7, No. 1, 125-136 (2013). MSC: 68T37 PDFBibTeX XMLCite \textit{M. Wolski}, Math. Comput. Sci. 7, No. 1, 125--136 (2013; Zbl 1262.68167) Full Text: DOI
Ceccherini-Silberstein, Tullio; Coornaert, Michel Surjunctivity and reversibility of cellular automata over concrete categories. (English) Zbl 1277.37024 Picardello, Massimo A. (ed.), Trends in harmonic analysis. Selected papers of the conference on harmonic analysis, Rome, Italy, May 30–June 4, 2011. Berlin: Springer (ISBN 978-88-470-2852-4/hbk; 978-88-470-2853-1/ebook). Springer INdAM Series 3, 91-133 (2013). Reviewer: Jan Baetens (Gent) MSC: 37B15 68Q80 18B05 PDFBibTeX XMLCite \textit{T. Ceccherini-Silberstein} and \textit{M. Coornaert}, Springer INdAM Ser. 3, 91--133 (2013; Zbl 1277.37024) Full Text: DOI arXiv
Wilkinson, Toby A characterisation of expressivity for coalgebraic bisimulation and simulation. (English) Zbl 1343.03053 Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 323-336 (2012). MSC: 03G30 03B45 68Q85 PDFBibTeX XMLCite \textit{T. Wilkinson}, Electron. Notes Theor. Comput. Sci. 286, 323--336 (2012; Zbl 1343.03053) Full Text: DOI
Beierle, Christoph; Kern-Isberner, Gabriele Semantical investigations into nonmonotonic and probabilistic logics. (English) Zbl 1280.68245 Ann. Math. Artif. Intell. 65, No. 2-3, 123-158 (2012). MSC: 68T27 68T30 68T37 PDFBibTeX XMLCite \textit{C. Beierle} and \textit{G. Kern-Isberner}, Ann. Math. Artif. Intell. 65, No. 2--3, 123--158 (2012; Zbl 1280.68245) Full Text: DOI
Castro, Pablo F.; Maibaum, Thomas S. E. Encapsulating deontic and branching time specifications. (English) Zbl 1279.68200 Theor. Comput. Sci. 455, 98-122 (2012). MSC: 68Q60 68N30 68Q85 PDFBibTeX XMLCite \textit{P. F. Castro} and \textit{T. S. E. Maibaum}, Theor. Comput. Sci. 455, 98--122 (2012; Zbl 1279.68200) Full Text: DOI
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra A coalgebraic perspective on linear weighted automata. (English) Zbl 1279.68235 Inf. Comput. 211, 77-105 (2012). MSC: 68Q70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Inf. Comput. 211, 77--105 (2012; Zbl 1279.68235) Full Text: DOI
Hegner, Stephen J. Information-based distance measures and the canonical reflection of view updates. (English) Zbl 1244.68032 Ann. Math. Artif. Intell. 63, No. 3-4, 317-355 (2011). MSC: 68P15 PDFBibTeX XMLCite \textit{S. J. Hegner}, Ann. Math. Artif. Intell. 63, No. 3--4, 317--355 (2011; Zbl 1244.68032) Full Text: DOI Link
König, Harald; Löwe, Michael; Schulz, Christoph Model transformation and induced instance migration: a universal framework. (English) Zbl 1349.68050 Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 1-15 (2011). MSC: 68N30 68P05 68Q55 PDFBibTeX XMLCite \textit{H. König} et al., Lect. Notes Comput. Sci. 7021, 1--15 (2011; Zbl 1349.68050) Full Text: DOI
Diaconescu, Răzvan Structural induction in institutions. (English) Zbl 1241.03073 Inf. Comput. 209, No. 9, 1197-1222 (2011). Reviewer: Juan Climent Vidal (València) MSC: 03G30 68Q65 PDFBibTeX XMLCite \textit{R. Diaconescu}, Inf. Comput. 209, No. 9, 1197--1222 (2011; Zbl 1241.03073) Full Text: DOI
Balan, A.; Kurz, A. On coalgebras over algebras. (English) Zbl 1232.68089 Theor. Comput. Sci. 412, No. 38, 4989-5005 (2011). Reviewer: Juan Climent Vidal (València) MSC: 68Q65 18C15 PDFBibTeX XMLCite \textit{A. Balan} and \textit{A. Kurz}, Theor. Comput. Sci. 412, No. 38, 4989--5005 (2011; Zbl 1232.68089) Full Text: DOI
Diaconescu, Răzvan; Ţuţu, Ionuţ On the algebra of structured specifications. (English) Zbl 1252.68199 Theor. Comput. Sci. 412, No. 28, 3145-3174 (2011). MSC: 68Q65 PDFBibTeX XMLCite \textit{R. Diaconescu} and \textit{I. Ţuţu}, Theor. Comput. Sci. 412, No. 28, 3145--3174 (2011; Zbl 1252.68199) Full Text: DOI