Massas, Guillaume B-frame duality. (English) Zbl 07662884 Ann. Pure Appl. Logic 174, No. 5, Article ID 103245, 42 p. (2023). MSC: 03B20 06B15 06B23 06D20 18F70 PDFBibTeX XMLCite \textit{G. Massas}, Ann. Pure Appl. Logic 174, No. 5, Article ID 103245, 42 p. (2023; Zbl 07662884) Full Text: DOI
Bezhanishvili, Guram; Gabelaia, David; Jibladze, Mamuka A negative solution of Kuznetsov’s problem for varieties of bi-Heyting algebras. (English) Zbl 07632520 J. Math. Log. 22, No. 3, Article ID 2250013, 21 p. (2022). MSC: 03B55 06D20 18F70 03B45 06E15 PDFBibTeX XMLCite \textit{G. Bezhanishvili} et al., J. Math. Log. 22, No. 3, Article ID 2250013, 21 p. (2022; Zbl 07632520) Full Text: DOI arXiv
Goncharov, Sergey; Rauch, Christoph; Schröder, Lutz A metalanguage for guarded iteration. (English) Zbl 1517.68077 Theor. Comput. Sci. 880, 111-137 (2021). MSC: 68N30 18C50 18M05 68N18 68Q55 PDFBibTeX XMLCite \textit{S. Goncharov} et al., Theor. Comput. Sci. 880, 111--137 (2021; Zbl 1517.68077) Full Text: DOI arXiv
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej Guarded and unguarded iteration for generalized processes. (English) Zbl 1467.68082 Log. Methods Comput. Sci. 15, No. 3, Paper No. 1, 47 p. (2019). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 68Q55 18C15 18C20 68Q85 PDFBibTeX XMLCite \textit{S. Goncharov} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 1, 47 p. (2019; Zbl 1467.68082) Full Text: arXiv
Adámek, Jiří; Milius, Stefan; Myers, Robert S. R.; Urbat, Henning Generalized Eilenberg theorem. Varieties of languages in a category. (English) Zbl 1407.68315 ACM Trans. Comput. Log. 20, No. 1, Article No. 3, 47 p. (2019). MSC: 68Q70 18B20 18D10 18D15 20M35 PDFBibTeX XMLCite \textit{J. Adámek} et al., ACM Trans. Comput. Log. 20, No. 1, Article No. 3, 47 p. (2019; Zbl 1407.68315) Full Text: DOI
Goncharov, Sergey; Schröder, Lutz; Rauch, Christoph; Piróg, Maciej Unifying guarded and unguarded iteration. (English) Zbl 1486.68040 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 517-533 (2017). MSC: 68N30 18C20 PDFBibTeX XMLCite \textit{S. Goncharov} et al., Lect. Notes Comput. Sci. 10203, 517--533 (2017; Zbl 1486.68040) Full Text: DOI