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 PDF BibTeX XML Cite \textit{T. Wißmann} et al., Commentat. Math. Univ. Carol. 60, No. 4, 605--638 (2019; Zbl 07177892) Full Text: DOI arXiv OpenURL
Capretta, Venanzio; Uustalu, Tarmo A coalgebraic view of bar recursion and bar induction. (English) Zbl 1474.03105 Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 91-106 (2016). MSC: 03D65 03B70 PDF BibTeX XML Cite \textit{V. Capretta} and \textit{T. Uustalu}, Lect. Notes Comput. Sci. 9634, 91--106 (2016; Zbl 1474.03105) Full Text: DOI Link OpenURL
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. Finitary coalgebraic multisemilattices and multilattices. (English) Zbl 1312.06001 Appl. Math. Comput. 219, No. 1, 31-44 (2012). MSC: 06A12 06B75 08A70 PDF BibTeX XML Cite \textit{I. P. Cabrera} et al., Appl. Math. Comput. 219, No. 1, 31--44 (2012; Zbl 1312.06001) Full Text: DOI OpenURL
Adámek, Jiří; Sobral, Manuela; Sousa, Lurdes A logic of implications in algebra and coalgebra. (English) Zbl 1229.18001 Algebra Univers. 61, No. 3-4, 313-337 (2009). Reviewer: Răzvan Diaconescu (Ploiesti) MSC: 18A15 03C05 03B70 PDF BibTeX XML Cite \textit{J. Adámek} et al., Algebra Univers. 61, No. 3--4, 313--337 (2009; Zbl 1229.18001) Full Text: DOI Link OpenURL
Friggens, David; Goldblatt, Robert A modal proof theory for final polynomial coalgebras. (English) Zbl 1097.68091 Theor. Comput. Sci. 360, No. 1-3, 1-22 (2006). MSC: 68Q85 03B45 03F03 03G30 18C50 68Q55 PDF BibTeX XML Cite \textit{D. Friggens} and \textit{R. Goldblatt}, Theor. Comput. Sci. 360, No. 1--3, 1--22 (2006; Zbl 1097.68091) Full Text: DOI OpenURL
Venema, Yde Automata and fixed point logic: a coalgebraic perspective. (English) Zbl 1110.68066 Inf. Comput. 204, No. 4, 637-678 (2006). MSC: 68Q45 03B45 03G30 18C15 68Q70 68Q85 91A43 PDF BibTeX XML Cite \textit{Y. Venema}, Inf. Comput. 204, No. 4, 637--678 (2006; Zbl 1110.68066) Full Text: DOI OpenURL
Hughes, Jesse; Jacobs, Bart Simulations in coalgebra. (English) Zbl 1071.68077 Theor. Comput. Sci. 327, No. 1-2, 71-108 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Hughes} and \textit{B. Jacobs}, Theor. Comput. Sci. 327, No. 1--2, 71--108 (2004; Zbl 1071.68077) Full Text: DOI OpenURL
Jacobs, Bart; Poll, Erik Coalgebras and monads in the semantics of Java. (English) Zbl 1008.68073 Theor. Comput. Sci. 291, No. 3, 329-349 (2003). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{B. Jacobs} and \textit{E. Poll}, Theor. Comput. Sci. 291, No. 3, 329--349 (2003; Zbl 1008.68073) Full Text: DOI OpenURL
Worrell, James A note on coalgebras and presheaves. (English) Zbl 1270.68198 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 358-364 (2002). MSC: 68Q65 03G30 18F20 PDF BibTeX XML Cite \textit{J. Worrell}, Electron. Notes Theor. Comput. Sci. 65, No. 1, 358--364 (2002; Zbl 1270.68198) Full Text: DOI OpenURL
Rothe, Jan A syntactical approach to weak (bi-)simulation for coalgebras. (English) Zbl 1270.68223 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 270-285 (2002). MSC: 68Q85 68Q65 PDF BibTeX XML Cite \textit{J. Rothe}, Electron. Notes Theor. Comput. Sci. 65, No. 1, 270--285 (2002; Zbl 1270.68223) Full Text: DOI OpenURL
Kurz, Alexander; Pattinson, Dirk Definability, canonical models, compactness for finitary coalgebraic modal logic. (English) Zbl 1270.03143 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 135-155 (2002). MSC: 03G30 03B45 PDF BibTeX XML Cite \textit{A. Kurz} and \textit{D. Pattinson}, Electron. Notes Theor. Comput. Sci. 65, No. 1, 135--155 (2002; Zbl 1270.03143) Full Text: DOI OpenURL
Jacobs, Bart Comprehension for coalgebras. (English) Zbl 1270.18015 Moss, Lawrence S. (ed.), CMCS’2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6–7, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 65, No. 1, 112-134 (2002). MSC: 18C20 03G30 18A30 68Q65 PDF BibTeX XML Cite \textit{B. Jacobs}, Electron. Notes Theor. Comput. Sci. 65, No. 1, 112--134 (2002; Zbl 1270.18015) Full Text: DOI OpenURL
Kurz, Alexander; Hennicker, Rolf On institutions for modular coalgebraic specifications. (English) Zbl 1052.68089 Theor. Comput. Sci. 280, No. 1-2, 69-103 (2002). MSC: 68Q65 PDF BibTeX XML Cite \textit{A. Kurz} and \textit{R. Hennicker}, Theor. Comput. Sci. 280, No. 1--2, 69--103 (2002; Zbl 1052.68089) Full Text: DOI OpenURL
Pattinson, Dirk Modal languages for coalgebras in a topological setting. (English) Zbl 1260.68245 Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 271-284 (2001). MSC: 68Q65 03B45 68Q55 PDF BibTeX XML Cite \textit{D. Pattinson}, Electron. Notes Theor. Comput. Sci. 44, No. 1, 271--284 (2001; Zbl 1260.68245) Full Text: DOI OpenURL
Kurz, Alexander Modal rules are co-implications. (English) Zbl 1260.68243 Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 241-253 (2001). MSC: 68Q65 03B45 PDF BibTeX XML Cite \textit{A. Kurz}, Electron. Notes Theor. Comput. Sci. 44, No. 1, 241--253 (2001; Zbl 1260.68243) Full Text: DOI OpenURL
Hughes, Jesse Modal operators for coequations. (English) Zbl 1260.68241 Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 205-226 (2001). MSC: 68Q65 08C05 18C05 PDF BibTeX XML Cite \textit{J. Hughes}, Electron. Notes Theor. Comput. Sci. 44, No. 1, 205--226 (2001; Zbl 1260.68241) Full Text: DOI OpenURL
Barbosa, Luís S. Process calculi à la Bird-Meertens. (English) Zbl 1260.68257 Corradini, Andrea (ed.) et al., CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6–7, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 44, No. 1, 47-66 (2001). MSC: 68Q85 68N18 PDF BibTeX XML Cite \textit{L. S. Barbosa}, Electron. Notes Theor. Comput. Sci. 44, No. 1, 47--66 (2001; Zbl 1260.68257) Full Text: DOI OpenURL
Jacobs, Bart Many-sorted coalgebraic modal logic: A model-theoretic study. (English) Zbl 0984.03019 Theor. Inform. Appl. 35, No. 1, 31-59 (2001). Reviewer: Manuel Ojeda Aciego (Malaga) MSC: 03B45 03B70 06E25 03G25 PDF BibTeX XML Cite \textit{B. Jacobs}, Theor. Inform. Appl. 35, No. 1, 31--59 (2001; Zbl 0984.03019) Full Text: DOI Numdam EuDML Link OpenURL