Vákár, Matthijs Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 607-634 (2021). MSC: 68N30 65D25 68N18 68Q65 PDF BibTeX XML Cite \textit{M. Vákár}, Lect. Notes Comput. Sci. 12648, 607--634 (2021; Zbl 1473.68058) Full Text: DOI arXiv OpenURL
Keizer, Alex C.; Basold, Henning; Pérez, Jorge A. Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 375-403 (2021). MSC: 68Q85 68Q65 PDF BibTeX XML Cite \textit{A. C. Keizer} et al., Lect. Notes Comput. Sci. 12648, 375--403 (2021; Zbl 1473.68114) Full Text: DOI arXiv OpenURL
Goldstein, Harrison; Hughes, John; Lampropoulos, Leonidas; Pierce, Benjamin C. Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 264-291 (2021). MSC: 68N30 68N18 68N20 68Q65 68W20 PDF BibTeX XML Cite \textit{H. Goldstein} et al., Lect. Notes Comput. Sci. 12648, 264--291 (2021; Zbl 1473.68044) Full Text: DOI OpenURL
Zamdzhiev, Vladimir Semantics for first-order affine inductive data types via slice categories. (English) Zbl 1480.68011 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 180-200 (2020). MSC: 68Q65 18C50 81P68 PDF BibTeX XML Cite \textit{V. Zamdzhiev}, Lect. Notes Comput. Sci. 12094, 180--200 (2020; Zbl 1480.68011) Full Text: DOI arXiv OpenURL
Tsampas, Stelios; Nuyts, Andreas; Devriese, Dominique; Piessens, Frank A categorical approach to secure compilation. (English) Zbl 07314153 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 155-179 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Tsampas} et al., Lect. Notes Comput. Sci. 12094, 155--179 (2020; Zbl 07314153) Full Text: DOI arXiv OpenURL
König, Barbara; Mika-Michalski, Christina; Schröder, Lutz Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 133-154 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{B. König} et al., Lect. Notes Comput. Sci. 12094, 133--154 (2020; Zbl 07314152) Full Text: DOI arXiv OpenURL
Komorida, Yuichi Injective objects and fibered codensity liftings. (English) Zbl 07314151 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 112-132 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{Y. Komorida}, Lect. Notes Comput. Sci. 12094, 112--132 (2020; Zbl 07314151) Full Text: DOI arXiv OpenURL
Jacobs, Bart; Staton, Sam De Finetti’s construction as a categorical limit. (English) Zbl 07314150 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 90-111 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{B. Jacobs} and \textit{S. Staton}, Lect. Notes Comput. Sci. 12094, 90--111 (2020; Zbl 07314150) Full Text: DOI arXiv OpenURL
van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra Learning automata with side-effects. (English) Zbl 07314149 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 68-89 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{G. van Heerdt} et al., Lect. Notes Comput. Sci. 12094, 68--89 (2020; Zbl 07314149) Full Text: DOI Link OpenURL
Gumm, H. Peter Free-algebra functors from a coalgebraic perspective. (English) Zbl 07314148 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 55-67 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{H. P. Gumm}, Lect. Notes Comput. Sci. 12094, 55--67 (2020; Zbl 07314148) Full Text: DOI arXiv OpenURL
Bezhanishvili, Nick; Enqvist, Sebastian; de Groot, Jim Duality for instantial neighbourhood logic via coalgebra. (English) Zbl 07314147 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 32-54 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Bezhanishvili} et al., Lect. Notes Comput. Sci. 12094, 32--54 (2020; Zbl 07314147) Full Text: DOI OpenURL
Adámek, Jiří Approximate coalgebra homomorphisms and approximate solutions. (English) Zbl 07314146 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 11-31 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{J. Adámek}, Lect. Notes Comput. Sci. 12094, 11--31 (2020; Zbl 07314146) Full Text: DOI OpenURL
Fijalkow, Nathanaël The theory of universal graphs for games: past and future. (English) Zbl 07314145 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 1-10 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Fijalkow}, Lect. Notes Comput. Sci. 12094, 1--10 (2020; Zbl 07314145) Full Text: DOI OpenURL
Petrişan, Daniela (ed.); Rot, Jurriaan (ed.) Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. (English) Zbl 1454.68013 Lecture Notes in Computer Science 12094. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). xv, 201 p. (2020). MSC: 68-06 68Q65 00B25 PDF BibTeX XML Cite \textit{D. Petrişan} (ed.) and \textit{J. Rot} (ed.), Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25--26, 2020. Proceedings. Cham: Springer (2020; Zbl 1454.68013) Full Text: DOI OpenURL
Găină, Daniel; Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi Stability of termination and sufficient-completeness under pushouts via amalgamation. (English) Zbl 1464.68215 Theor. Comput. Sci. 848, 82-105 (2020). MSC: 68Q65 68Q42 PDF BibTeX XML Cite \textit{D. Găină} et al., Theor. Comput. Sci. 848, 82--105 (2020; Zbl 1464.68215) Full Text: DOI OpenURL
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. On well-founded and recursive coalgebras. (English) Zbl 1455.18001 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A15 18C50 68Q65 PDF BibTeX XML Cite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 1455.18001) Full Text: DOI arXiv OpenURL
Salamanca Téllez, Julián Lattices do not distribute over powerset. (English) Zbl 1467.18002 Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A23 06B25 06A12 18C15 68Q85 68Q65 PDF BibTeX XML Cite \textit{J. Salamanca Téllez}, Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020; Zbl 1467.18002) Full Text: DOI OpenURL
Diaconescu, Răzvan Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 1484.68106 Log. Univers. 14, No. 2, 259-277 (2020). MSC: 68Q65 03B45 03C98 03G30 PDF BibTeX XML Cite \textit{R. Diaconescu}, Log. Univers. 14, No. 2, 259--277 (2020; Zbl 1484.68106) Full Text: DOI arXiv OpenURL
Bergstra, Jan A.; Ponse, Alban Arithmetical datatypes with true fractions. (English) Zbl 1448.68323 Acta Inf. 57, No. 3-5, 385-402 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{A. Ponse}, Acta Inf. 57, No. 3--5, 385--402 (2020; Zbl 1448.68323) Full Text: DOI OpenURL
Haveraaen, Magne; Roggenbach, Markus Specifying with syntactic theory functors. (English) Zbl 1433.68221 J. Log. Algebr. Methods Program. 113, Article ID 100543, 23 p. (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{M. Haveraaen} and \textit{M. Roggenbach}, J. Log. Algebr. Methods Program. 113, Article ID 100543, 23 p. (2020; Zbl 1433.68221) Full Text: DOI OpenURL
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro Corrigendum to: “Inductive-data-type systems”. (English) Zbl 1432.68210 Theor. Comput. Sci. 817, 81-82 (2020). MSC: 68Q42 68N18 68Q65 PDF BibTeX XML Cite \textit{F. Blanqui} et al., Theor. Comput. Sci. 817, 81--82 (2020; Zbl 1432.68210) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \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 OpenURL
Knapp, Alexander; Cengarle, María Victoria Term charters. (English) Zbl 1444.68085 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019). MSC: 68Q42 18C50 68N30 68Q65 PDF BibTeX XML Cite \textit{A. Knapp} and \textit{M. V. Cengarle}, Lect. Notes Comput. Sci. 11563, 119--138 (2019; Zbl 1444.68085) Full Text: DOI OpenURL
Glauer, Martin; Mossakowski, Till Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019). MSC: 68P15 18C50 68Q65 PDF BibTeX XML Cite \textit{M. Glauer} and \textit{T. Mossakowski}, Lect. Notes Comput. Sci. 11563, 67--86 (2019; Zbl 1444.68068) Full Text: DOI OpenURL
Marmsoler, Diego; Gidey, Habtom Kashay Interactive verification of architectural design patterns in FACTum. (English) Zbl 1425.68273 Formal Asp. Comput. 31, No. 5, 541-610 (2019). MSC: 68Q65 68T15 PDF BibTeX XML Cite \textit{D. Marmsoler} and \textit{H. K. Gidey}, Formal Asp. Comput. 31, No. 5, 541--610 (2019; Zbl 1425.68273) Full Text: DOI OpenURL
Rot, Jurriaan Distributive laws for monotone specifications. (English) Zbl 1432.68253 Acta Inf. 56, No. 7-8, 585-617 (2019). MSC: 68Q55 68Q65 PDF BibTeX XML Cite \textit{J. Rot}, Acta Inf. 56, No. 7--8, 585--617 (2019; Zbl 1432.68253) Full Text: DOI OpenURL
Pous, Damien; Rot, Jurriaan Companions, causality and codensity. (English) Zbl 1442.68150 Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDF BibTeX XML Cite \textit{D. Pous} and \textit{J. Rot}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019; Zbl 1442.68150) Full Text: arXiv OpenURL
Lopez, Pombo Carlos G.; Castro, Pablo F.; Aguirre, Nazareno M.; Maibaum, Thomas S. E. Satisfiability calculus: an abstract formulation of semantic proof systems. (English) Zbl 1446.03112 Fundam. Inform. 166, No. 4, 297-347 (2019). MSC: 03G30 68Q65 PDF BibTeX XML Cite \textit{P. C. G. Lopez} et al., Fundam. Inform. 166, No. 4, 297--347 (2019; Zbl 1446.03112) Full Text: DOI OpenURL
Hofmann, Dirk; Neves, Renato; Nora, Pedro Limits in categories of Vietoris coalgebras. (English) Zbl 1417.68108 Math. Struct. Comput. Sci. 29, No. 4, 552-587 (2019). MSC: 68Q65 18A30 PDF BibTeX XML Cite \textit{D. Hofmann} et al., Math. Struct. Comput. Sci. 29, No. 4, 552--587 (2019; Zbl 1417.68108) Full Text: DOI arXiv OpenURL
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò Quotienting the delay monad by weak bisimilarity. (English) Zbl 1407.68306 Math. Struct. Comput. Sci. 29, No. 1, 67-92 (2019). MSC: 68Q65 03B15 68N18 68Q55 68T15 PDF BibTeX XML Cite \textit{J. Chapman} et al., Math. Struct. Comput. Sci. 29, No. 1, 67--92 (2019; Zbl 1407.68306) Full Text: DOI OpenURL
Korovina, Margarita; Kudinov, Oleg Highlights of the Rice-Shapiro theorem in computable topology. (English) Zbl 1461.03039 Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 241-255 (2018). MSC: 03D45 03D78 54A05 68Q65 PDF BibTeX XML Cite \textit{M. Korovina} and \textit{O. Kudinov}, Lect. Notes Comput. Sci. 10742, 241--255 (2018; Zbl 1461.03039) Full Text: DOI OpenURL
Colvin, Robert J.; Smith, Graeme A wide-spectrum language for verification of programs on weak memory models. (English) Zbl 1460.68026 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 240-257 (2018). MSC: 68N30 68Q55 68Q60 68Q65 PDF BibTeX XML Cite \textit{R. J. Colvin} and \textit{G. Smith}, Lect. Notes Comput. Sci. 10951, 240--257 (2018; Zbl 1460.68026) Full Text: DOI arXiv OpenURL
Marmsoler, Diego Hierarchical specification and verification of architectural design patterns. (English) Zbl 1425.68272 Russo, Alessandra (ed.) et al., Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10802, 149-168 (2018). MSC: 68Q65 68T15 PDF BibTeX XML Cite \textit{D. Marmsoler}, Lect. Notes Comput. Sci. 10802, 149--168 (2018; Zbl 1425.68272) Full Text: DOI OpenURL
Venema, Yde Book review of: B. Jacobs, Introduction to coalgebra. Towards mathematics of states and observation. (Dutch) Zbl 1409.00055 Nieuw Arch. Wiskd. (5) 19, No. 4, 302-303 (2018). MSC: 00A17 68-01 68Q65 03B45 68Q85 18C15 18C20 18C50 PDF BibTeX XML Cite \textit{Y. Venema}, Nieuw Arch. Wiskd. (5) 19, No. 4, 302--303 (2018; Zbl 1409.00055) OpenURL
Wang, Jiaqi; Talmage, Edward; Lee, Hyunyoung; Welch, Jennifer L. Improved time bounds for linearizable implementations of abstract data types. (English) Zbl 1407.68313 Inf. Comput. 263, 1-30 (2018). MSC: 68Q65 68M14 68Q17 PDF BibTeX XML Cite \textit{J. Wang} et al., Inf. Comput. 263, 1--30 (2018; Zbl 1407.68313) Full Text: DOI OpenURL
Urabe, Natsuki; Hasuo, Ichiro Categorical Büchi and parity conditions via alternating fixed points of functors. (English) Zbl 06962939 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, 214-234 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Urabe} and \textit{I. Hasuo}, Lect. Notes Comput. Sci. 11202, 214--234 (2018; Zbl 06962939) Full Text: DOI arXiv Link OpenURL
Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro Fibrational bisimulations and quantitative reasoning. (English) Zbl 06962938 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: 68Q65 PDF BibTeX XML Cite \textit{D. Sprunger} et al., Lect. Notes Comput. Sci. 11202, 190--213 (2018; Zbl 06962938) Full Text: DOI OpenURL
Pavlovic, Dusko; Yahia, Muzamil Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract). (English) Zbl 06962937 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, 167-189 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{D. Pavlovic} and \textit{M. Yahia}, Lect. Notes Comput. Sci. 11202, 167--189 (2018; Zbl 06962937) Full Text: DOI arXiv OpenURL
Milius, Stefan; Adámek, Jiří; Urbat, Henning On algebras with effectful iteration. (English) Zbl 06962936 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, 144-166 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Milius} et al., Lect. Notes Comput. Sci. 11202, 144--166 (2018; Zbl 06962936) Full Text: DOI OpenURL
Jacobs, Bart; Levy, Paul; Rot, Jurriaan Steps and traces. (English) Zbl 06962935 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, 122-143 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{B. Jacobs} et al., Lect. Notes Comput. Sci. 11202, 122--143 (2018; Zbl 06962935) Full Text: DOI arXiv OpenURL
Goy, Alexandre; Rot, Jurriaan (in)finite trace equivalence of probabilistic transition systems. (English) Zbl 06962934 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, 100-121 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{A. Goy} and \textit{J. Rot}, Lect. Notes Comput. Sci. 11202, 100--121 (2018; Zbl 06962934) Full Text: DOI OpenURL
Feys, Frank M. V.; Hansen, Helle Hvid; Moss, Lawrence S. Long-term values in Markov decision processes, (co)algebraically. (English) Zbl 06962933 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, 78-99 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{F. M. V. Feys} et al., Lect. Notes Comput. Sci. 11202, 78--99 (2018; Zbl 06962933) Full Text: DOI OpenURL
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Predicate liftings and functor presentations in coalgebraic expression languages. (English) Zbl 06962932 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, 56-77 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{U. Dorsch} et al., Lect. Notes Comput. Sci. 11202, 56--77 (2018; Zbl 06962932) Full Text: DOI arXiv OpenURL
Berger, Ulrich; Setzer, Anton Undecidability of equality for codata types. (English) Zbl 06962931 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, 34-55 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{U. Berger} and \textit{A. Setzer}, Lect. Notes Comput. Sci. 11202, 34--55 (2018; Zbl 06962931) Full Text: DOI Link OpenURL
Berardi, Stefano; Tatsuta, Makoto Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs. (English) Zbl 06962930 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, 13-33 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Berardi} and \textit{M. Tatsuta}, Lect. Notes Comput. Sci. 11202, 13--33 (2018; Zbl 06962930) Full Text: DOI OpenURL
Kupke, Clemens Coalgebraic logics & duality. (English) Zbl 06962929 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, 6-12 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{C. Kupke}, Lect. Notes Comput. Sci. 11202, 6--12 (2018; Zbl 06962929) Full Text: DOI OpenURL
Abramsky, Samson; Shah, Nihil Relating structure and power: comonadic semantics for computational resources (extended abstract). (English) Zbl 06962928 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, 1-5 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Abramsky} and \textit{N. Shah}, Lect. Notes Comput. Sci. 11202, 1--5 (2018; Zbl 06962928) Full Text: DOI arXiv OpenURL
Moscato, Mariano M.; Lopez Pombo, Carlos G.; Muñoz, César A.; Feliú, Marco A. Boosting the reuse of formal specifications. (English) Zbl 1452.68263 Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 477-494 (2018). MSC: 68V15 08A70 68Q65 PDF BibTeX XML Cite \textit{M. M. Moscato} et al., Lect. Notes Comput. Sci. 10895, 477--494 (2018; Zbl 1452.68263) Full Text: DOI OpenURL
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. (English) Zbl 1396.68009 Lecture Notes in Computer Science 11202. Cham: Springer (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). ix, 235 p. (2018). MSC: 68-06 68Q65 00B25 PDF BibTeX XML Cite \textit{C. Cîrstea} (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 (2018; Zbl 1396.68009) Full Text: DOI OpenURL
Ahrens, Benedikt; Matthes, Ralph Heterogeneous substitution systems revisited. (English) Zbl 1433.68220 Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018). MSC: 68Q65 18C50 68V15 68V20 PDF BibTeX XML Cite \textit{B. Ahrens} and \textit{R. Matthes}, LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018; Zbl 1433.68220) Full Text: DOI arXiv OpenURL
Chentsov, Alexey; Nikitchenko, Mykola Composition-nominative logics as institutions. (English) Zbl 1456.03054 Log. Univers. 12, No. 1-2, 221-238 (2018). MSC: 03B70 03B10 03C95 03G30 68Q65 PDF BibTeX XML Cite \textit{A. Chentsov} and \textit{M. Nikitchenko}, Log. Univers. 12, No. 1--2, 221--238 (2018; Zbl 1456.03054) Full Text: DOI OpenURL
Mossakowski, Till; Krieg-Brückner, Bernd Partial pushout semantics of generics in DOL. (English) Zbl 1397.68112 Theor. Comput. Sci. 741, 58-70 (2018). MSC: 68Q42 68Q65 PDF BibTeX XML Cite \textit{T. Mossakowski} and \textit{B. Krieg-Brückner}, Theor. Comput. Sci. 741, 58--70 (2018; Zbl 1397.68112) Full Text: DOI OpenURL
Mosses, Peter D. CoFI with Don Sannella. (English) Zbl 1397.68124 Theor. Comput. Sci. 741, 44-47 (2018). MSC: 68Q65 68-03 PDF BibTeX XML Cite \textit{P. D. Mosses}, Theor. Comput. Sci. 741, 44--47 (2018; Zbl 1397.68124) Full Text: DOI OpenURL
Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin Behavioural and abstractor specifications revisited. (English) Zbl 1396.68073 Theor. Comput. Sci. 741, 32-43 (2018). MSC: 68Q65 68Q85 PDF BibTeX XML Cite \textit{R. Hennicker} et al., Theor. Comput. Sci. 741, 32--43 (2018; Zbl 1396.68073) Full Text: DOI OpenURL
Kennedy, Andrew J.; Russo, Claudio V. Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language. (English) Zbl 1397.68025 Theor. Comput. Sci. 741, 3-18 (2018). MSC: 68N15 68N19 68Q65 PDF BibTeX XML Cite \textit{A. J. Kennedy} and \textit{C. V. Russo}, Theor. Comput. Sci. 741, 3--18 (2018; Zbl 1397.68025) Full Text: DOI OpenURL
Orchard, Dominic Complexity bounds for container functors and comonads. (English) Zbl 1394.68240 Inf. Comput. 261, Part 1, 144-158 (2018). MSC: 68Q65 68N30 PDF BibTeX XML Cite \textit{D. Orchard}, Inf. Comput. 261, Part 1, 144--158 (2018; Zbl 1394.68240) Full Text: DOI OpenURL
Wolter, Uwe; Diskin, Zinovy; König, Harald Graph operations and free graph algebras. (English) Zbl 1383.68049 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 313-331 (2018). MSC: 68Q42 05C25 08A70 18A40 68Q65 PDF BibTeX XML Cite \textit{U. Wolter} et al., Lect. Notes Comput. Sci. 10800, 313--331 (2018; Zbl 1383.68049) Full Text: DOI OpenURL
Sannella, Donald; Tarlecki, Andrzej On normal forms for structured specifications with generating constraints. (English) Zbl 1383.68051 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 266-284 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{D. Sannella} and \textit{A. Tarlecki}, Lect. Notes Comput. Sci. 10800, 266--284 (2018; Zbl 1383.68051) Full Text: DOI Link OpenURL
Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo The Verigraph system for graph transformation. (English) Zbl 1383.68041 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 160-178 (2018). MSC: 68Q42 68N30 68Q65 PDF BibTeX XML Cite \textit{G. G. Azzi} et al., Lect. Notes Comput. Sci. 10800, 160--178 (2018; Zbl 1383.68041) Full Text: DOI OpenURL
Löwe, Michael Model transformations as free constructions. (English) Zbl 1383.68046 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 142-159 (2018). MSC: 68Q42 68Q65 PDF BibTeX XML Cite \textit{M. Löwe}, Lect. Notes Comput. Sci. 10800, 142--159 (2018; Zbl 1383.68046) Full Text: DOI OpenURL
Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. (English) Zbl 1383.68042 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 1-18 (2018). MSC: 68Q42 18A30 68Q65 PDF BibTeX XML Cite \textit{A. Corradini} et al., Lect. Notes Comput. Sci. 10800, 1--18 (2018; Zbl 1383.68042) Full Text: DOI Link OpenURL
Zhang, Min; Ogata, Kazuhiro From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories. (English) Zbl 1388.68189 Theor. Comput. Sci. 722, 52-75 (2018). MSC: 68Q65 68Q42 PDF BibTeX XML Cite \textit{M. Zhang} and \textit{K. Ogata}, Theor. Comput. Sci. 722, 52--75 (2018; Zbl 1388.68189) Full Text: DOI OpenURL
Hasuo, Ichiro; Kataoka, Toshiki; Cho, Kenta Coinductive predicates and final sequences in a fibration. (English) Zbl 1386.68103 Math. Struct. Comput. Sci. 28, No. 4, 562-611 (2018). MSC: 68Q65 03G30 18B20 68Q85 PDF BibTeX XML Cite \textit{I. Hasuo} et al., Math. Struct. Comput. Sci. 28, No. 4, 562--611 (2018; Zbl 1386.68103) Full Text: DOI OpenURL
Oliveira, José Nuno Programming from metaphorisms. (English) Zbl 1381.68058 J. Log. Algebr. Methods Program. 94, 15-44 (2018). MSC: 68N30 68P10 68Q65 PDF BibTeX XML Cite \textit{J. N. Oliveira}, J. Log. Algebr. Methods Program. 94, 15--44 (2018; Zbl 1381.68058) Full Text: DOI arXiv OpenURL
Rot, Jurriaan Distributive laws for monotone specifications. (English) Zbl 1483.68182 Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 83-97 (2017). MSC: 68Q55 18C15 68Q65 PDF BibTeX XML Cite \textit{J. Rot}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 83--97 (2017; Zbl 1483.68182) Full Text: arXiv Link OpenURL
Pavlovic, Dusko; Seidel, Peter-Michael Quotients in monadic programming: projective algebras are equivalent to coalgebras. (English) Zbl 1458.68123 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 50, 12 p. (2017). MSC: 68Q65 18C15 68N30 PDF BibTeX XML Cite \textit{D. Pavlovic} and \textit{P.-M. Seidel}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 50, 12 p. (2017; Zbl 1458.68123) Full Text: arXiv Link OpenURL
Kammar, Ohad; Levy, Paul B.; Moss, Sean K.; Staton, Sam A monad for full ground reference cells. (English) Zbl 1458.68122 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 49, 12 p. (2017). MSC: 68Q65 18A25 18C15 68N30 68Q55 PDF BibTeX XML Cite \textit{O. Kammar} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 49, 12 p. (2017; Zbl 1458.68122) Full Text: arXiv Link OpenURL
Blanchette, Jasmin Christian; Meier, Fabian; Popescu, Andrei; Traytel, Dmitriy Foundational nonuniform (co)datatypes for higher-order logic. (English) Zbl 1457.68173 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 11, 12 p. (2017). MSC: 68Q65 03B16 PDF BibTeX XML Cite \textit{J. C. Blanchette} et al., in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 11, 12 p. (2017; Zbl 1457.68173) Full Text: Link OpenURL
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 PDF BibTeX XML Cite \textit{U. Dorsch} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 32, 16 p. (2017; Zbl 1442.68112) Full Text: DOI arXiv OpenURL
Bouajjani, Ahmed; Enea, Constantin; Wang, Chao Checking linearizability of concurrent priority queues. (English) Zbl 1442.68126 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 16, 16 p. (2017). MSC: 68Q85 68Q60 68Q65 PDF BibTeX XML Cite \textit{A. Bouajjani} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 16, 16 p. (2017; Zbl 1442.68126) Full Text: DOI arXiv OpenURL
Bergstra, Jan A.; Ponse, Alban Probability functions in the context of signed involutive meadows (extended abstract). (English) Zbl 1453.68105 James, Phillip (ed.) et al., Recent trends in algebraic development techniques. 23rd IFIP WG 1.3 international workshop, WADT 2016, Gregynog, UK, September 21–24, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10644, 73-87 (2017). MSC: 68Q65 60A05 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{A. Ponse}, Lect. Notes Comput. Sci. 10644, 73--87 (2017; Zbl 1453.68105) Full Text: DOI arXiv OpenURL
Ehrich, Hans-Dieter; Sernadas, Amílcar Local specification of distributed families of sequential objects. (English) Zbl 1416.68120 Caleiro, Carlos (ed.) et al., Logic and computation. Essays in honour of Amílcar Sernadas. London: College Publications. Tributes 33, 1-22 (2017). MSC: 68Q85 68Q65 PDF BibTeX XML Cite \textit{H.-D. Ehrich} and \textit{A. Sernadas}, Tributes 33, 1--22 (2017; Zbl 1416.68120) OpenURL
Bergstra, Jan A.; Bethke, Inge Subvarieties of the variety of meadows. (English) Zbl 1424.68095 Sci. Ann. Comput. Sci. 27, No. 1, 1-18 (2017). MSC: 68Q65 03C05 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{I. Bethke}, Sci. Ann. Comput. Sci. 27, No. 1, 1--18 (2017; Zbl 1424.68095) Full Text: DOI arXiv OpenURL
Chen, Guoliang; Mao, Rui; Lu, Kezhong A parallel computing framework for big data. (English) Zbl 1403.68068 Front. Comput. Sci. 11, No. 4, 608-621 (2017). MSC: 68Q10 68P99 68Q65 PDF BibTeX XML Cite \textit{G. Chen} et al., Front. Comput. Sci. 11, No. 4, 608--621 (2017; Zbl 1403.68068) Full Text: DOI OpenURL
Knapp, Alexander; Mossakowski, Till UML interactions meet state machines – an institutional approach. (English) Zbl 1433.68097 Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 15, 15 p. (2017). MSC: 68N30 68Q10 68Q65 PDF BibTeX XML Cite \textit{A. Knapp} and \textit{T. Mossakowski}, LIPIcs -- Leibniz Int. Proc. Inform. 72, Article 15, 15 p. (2017; Zbl 1433.68097) Full Text: DOI OpenURL
Uustalu, Tarmo Container combinatorics: monads and lax monoidal functors. (English) Zbl 1485.18004 Mousavi, Mohammad Reza (ed.) et al., Topics in theoretical computer science. Second IFIP WG 1.8 international conference, TTCS 2017, Tehran, Iran, September 12–14, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10608, 91-105 (2017). MSC: 18C50 68Q65 PDF BibTeX XML Cite \textit{T. Uustalu}, Lect. Notes Comput. Sci. 10608, 91--105 (2017; Zbl 1485.18004) Full Text: DOI Link OpenURL
Ksystra, Katerina; Triantafyllou, Nikos; Stefaneas, Petros On combining algebraic specifications with first-order logic via Athena. (English) Zbl 1380.68287 Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer (ISBN 978-3-319-68102-3/hbk; 978-3-319-68103-0/ebook). Springer Proceedings in Mathematics & Statistics 219, 399-422 (2017). MSC: 68Q65 68T15 PDF BibTeX XML Cite \textit{K. Ksystra} et al., Springer Proc. Math. Stat. 219, 399--422 (2017; Zbl 1380.68287) Full Text: DOI OpenURL
Angius, Nicola; Dimarogkona, Maria; Stefaneas, Petros Building and integrating semantic theories over institutions. (English) Zbl 1439.68015 Lambropoulou, Sofia (ed.) et al., Algebraic modeling of topological and computational structures and applications, THALES, Athens, Greece, July 1–3, 2015. Cham: Springer. Springer Proc. Math. Stat. 219, 363-374 (2017). MSC: 68Q65 03C95 18C50 PDF BibTeX XML Cite \textit{N. Angius} et al., Springer Proc. Math. Stat. 219, 363--374 (2017; Zbl 1439.68015) Full Text: DOI OpenURL
Balan, Adriana; Kurz, Alexander; Velebil, Jiří An institutional approach to positive coalgebraic logic. (English) Zbl 1444.03184 J. Log. Comput. 27, No. 6, 1799-1824 (2017). MSC: 03G30 03B45 68Q65 PDF BibTeX XML Cite \textit{A. Balan} et al., J. Log. Comput. 27, No. 6, 1799--1824 (2017; Zbl 1444.03184) Full Text: DOI OpenURL
Găină, Daniel Downward Löwenheim-Skolem theorem and interpolation in logics with constructors. (English) Zbl 1444.03187 J. Log. Comput. 27, No. 6, 1717-1752 (2017). MSC: 03G30 03B10 03B38 68Q65 PDF BibTeX XML Cite \textit{D. Găină}, J. Log. Comput. 27, No. 6, 1717--1752 (2017; Zbl 1444.03187) Full Text: DOI OpenURL
Li, Bin; Tang, Zhenhao; Zhai, Juan; Zhao, Jianhua Verification of concrete programs with respect to abstract programs. (Chinese. English summary) Zbl 1389.68010 J. Softw. 28, No. 4, 786-803 (2017). MSC: 68N30 68Q60 68Q65 PDF BibTeX XML Cite \textit{B. Li} et al., J. Softw. 28, No. 4, 786--803 (2017; Zbl 1389.68010) Full Text: DOI OpenURL
Hamana, Makoto Cyclic datatypes modulo bisimulation based on second-order algebraic theories. (English) Zbl 1398.68348 Log. Methods Comput. Sci. 13, No. 4, Paper No. 8, 38 p. (2017). MSC: 68Q65 03B25 18C50 68Q85 PDF BibTeX XML Cite \textit{M. Hamana}, Log. Methods Comput. Sci. 13, No. 4, Paper No. 8, 38 p. (2017; Zbl 1398.68348) Full Text: DOI arXiv OpenURL
Rico, Guillermo Ortiz; Viera, Lina Isabel Triviño A coinductive approach to real analysis. (Spanish. English summary) Zbl 1378.18001 Rev. Integr. 35, No. 1, 103-125 (2017). MSC: 18A05 18C10 03B70 68Q65 PDF BibTeX XML Cite \textit{G. O. Rico} and \textit{L. I. T. Viera}, Rev. Integr. 35, No. 1, 103--125 (2017; Zbl 1378.18001) Full Text: DOI OpenURL
Hoang, Thai Son; Snook, Colin; Dghaym, Dana; Butler, Michael Class-diagrams for abstract data types. (English) Zbl 1444.68106 Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 100-117 (2017). MSC: 68Q65 PDF BibTeX XML Cite \textit{T. S. Hoang} et al., Lect. Notes Comput. Sci. 10580, 100--117 (2017; Zbl 1444.68106) Full Text: DOI Link OpenURL
Dagand, Pierre-Evariste The essence of ornaments. (English) Zbl 1418.68032 J. Funct. Program. 27, Paper No. e9, 27 p. (2017). MSC: 68N18 68N30 68Q65 PDF BibTeX XML Cite \textit{P.-E. Dagand}, J. Funct. Program. 27, Paper No. e9, 27 p. (2017; Zbl 1418.68032) Full Text: DOI OpenURL
Yordzhev, Krasimir On an algorithm for receiving sudoku matrices. (English) Zbl 1373.05034 Discrete Math. Algorithms Appl. 9, No. 3, Article ID 1750038, 8 p. (2017). MSC: 05B20 68Q65 PDF BibTeX XML Cite \textit{K. Yordzhev}, Discrete Math. Algorithms Appl. 9, No. 3, Article ID 1750038, 8 p. (2017; Zbl 1373.05034) Full Text: DOI arXiv OpenURL
Traytel, Dmitriy Formal languages, formally and coinductively. (English) Zbl 1459.68108 Log. Methods Comput. Sci. 13, No. 3, Paper No. 28, 22 p. (2017). MSC: 68Q45 68Q65 68V15 68V20 PDF BibTeX XML Cite \textit{D. Traytel}, Log. Methods Comput. Sci. 13, No. 3, Paper No. 28, 22 p. (2017; Zbl 1459.68108) Full Text: DOI arXiv OpenURL
Rabe, Florian Morphism axioms. (English) Zbl 1373.03132 Theor. Comput. Sci. 691, 55-80 (2017). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 03G30 68Q65 PDF BibTeX XML Cite \textit{F. Rabe}, Theor. Comput. Sci. 691, 55--80 (2017; Zbl 1373.03132) Full Text: DOI OpenURL
Blanchette, Jasmin Christian; Popescu, Andrei; Traytel, Dmitriy Soundness and completeness proofs by coinductive methods. (English) Zbl 1409.68251 J. Autom. Reasoning 58, No. 1, 149-179 (2017). MSC: 68T15 03B10 03B35 03F03 68Q65 PDF BibTeX XML Cite \textit{J. C. Blanchette} et al., J. Autom. Reasoning 58, No. 1, 149--179 (2017; Zbl 1409.68251) Full Text: DOI Link OpenURL
Reynolds, Andrew; Blanchette, Jasmin Christian A decision procedure for (co)datatypes in SMT solvers. (English) Zbl 1410.68337 J. Autom. Reasoning 58, No. 3, 341-362 (2017). MSC: 68T15 68Q65 PDF BibTeX XML Cite \textit{A. Reynolds} and \textit{J. C. Blanchette}, J. Autom. Reasoning 58, No. 3, 341--362 (2017; Zbl 1410.68337) Full Text: DOI Link OpenURL
Zeidler, Clemens; Weber, Gerald; Gavryushkin, Alex; Lutteroth, Christof Tiling algebra for constraint-based layout editing. (English) Zbl 1407.68528 J. Log. Algebr. Methods Program. 89, 67-94 (2017). MSC: 68U35 52C20 68Q55 68Q65 PDF BibTeX XML Cite \textit{C. Zeidler} et al., J. Log. Algebr. Methods Program. 89, 67--94 (2017; Zbl 1407.68528) Full Text: DOI Link OpenURL
Pous, Damien; Rot, Jurriaan Companions, codensity and causality. (English) Zbl 1442.68149 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, 106-123 (2017). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDF BibTeX XML Cite \textit{D. Pous} and \textit{J. Rot}, Lect. Notes Comput. Sci. 10203, 106--123 (2017; Zbl 1442.68149) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{M. Behrisch} et al., Appl. Categ. Struct. 25, No. 1, 29--57 (2017; Zbl 1369.37024) Full Text: DOI Link OpenURL
Kaarsgaard, Robin; Bock Axelsen, Holger; Glück, Robert Join inverse categories and reversible recursion. (English) Zbl 1359.68045 J. Log. Algebr. Methods Program. 87, 33-50 (2017). MSC: 68N18 18C50 18D20 68Q55 68Q65 PDF BibTeX XML Cite \textit{R. Kaarsgaard} et al., J. Log. Algebr. Methods Program. 87, 33--50 (2017; Zbl 1359.68045) Full Text: DOI OpenURL
Jacobs, Bart Introduction to coalgebra. Towards mathematics of states and observation. (English) Zbl 1364.68001 Cambridge Tracts in Theoretical Computer Science 59. Cambridge: Cambridge University Press (ISBN 978-1-107-17789-5/hbk; 978-1-316-82318-7/ebook). xvi, 477 p. (2017). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 68-01 68Q65 03B45 68Q85 18C15 18C20 18C50 PDF BibTeX XML Cite \textit{B. Jacobs}, Introduction to coalgebra. Towards mathematics of states and observation. Cambridge: Cambridge University Press (2017; Zbl 1364.68001) Full Text: DOI OpenURL
Ahman, Danel; Uustalu, Tarmo Directed containers as categories. (English) Zbl 1477.68169 Atkey, Robert (ed.) et al., Proceedings of the sixth workshop on mathematically structured functional programming, MSFP 2016, Eindhoven, Netherlands, April 8, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 89-98 (2016). MSC: 68Q65 18C15 68N18 68Q55 PDF BibTeX XML Cite \textit{D. Ahman} and \textit{T. Uustalu}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 207, 89--98 (2016; Zbl 1477.68169) Full Text: arXiv Link OpenURL
Setzer, Anton How to reason coinductively informally. (English) Zbl 1439.03071 Kahle, Reinhard (ed.) et al., Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13–14, 2013. Basel: Birkhäuser/Springer. Prog. Comput. Sci. Appl. Log. 28, 377-408 (2016). MSC: 03B70 03B38 18A15 68Q65 PDF BibTeX XML Cite \textit{A. Setzer}, Prog. Comput. Sci. Appl. Log. 28, 377--408 (2016; Zbl 1439.03071) Full Text: DOI Link OpenURL
Bergstra, Jan A.; Bethke, Inge A negative result on algebraic specifications of the meadow of rational numbers. (English) Zbl 1441.68136 van Eijck, Jan (ed.) et al., Liber amicorum Alberti. A tribute to Albert Visser. London: College Publications. Tributes 30, 31-35 (2016). MSC: 68Q65 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{I. Bethke}, Tributes 30, 31--35 (2016; Zbl 1441.68136) Full Text: arXiv OpenURL
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 PDF BibTeX XML Cite \textit{J. Meseguer}, Commun. Comput. Inf. Sci. 596, 3--34 (2016; Zbl 1396.68074) Full Text: DOI OpenURL
Castro, Pablo F.; Aguirre, Nazareno Algebraic foundations for specification refinements. (English) Zbl 1396.68032 Ribeiro, Leila (ed.) et al., Formal methods: foundations and applications. 19th Brazilian symposium, SBMF 2016, Natal, Brazil, November 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-49814-0/pbk; 978-3-319-49815-7/ebook). Lecture Notes in Computer Science 10090, 112-128 (2016). MSC: 68N30 68Q65 PDF BibTeX XML Cite \textit{P. F. Castro} and \textit{N. Aguirre}, Lect. Notes Comput. Sci. 10090, 112--128 (2016; Zbl 1396.68032) Full Text: DOI OpenURL