Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Nick Bezhanishvili, Sebastian Enqvist, Jim de Groot |
Duality for Instantial Neighbourhood Logic via Coalgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: 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, pp. 32-54, 2020, Springer, 978-3-030-57200-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Adámek |
Approximate Coalgebra Homomorphisms and Approximate Solutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: 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, pp. 11-31, 2020, Springer, 978-3-030-57200-6. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
23 | Simone Barlocco, Clemens Kupke, Jurriaan Rot |
Coalgebra Learning via Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.05762, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Tomasz Brengos, Marco Peressotti |
Two modes of recognition: algebra, coalgebra, and languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1906.05573, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Michele Boreale |
Algebra, coalgebra, and minimization in polynomial differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(1), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Simon Pacaud Lemay |
Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 15(4), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Simone Barlocco, Clemens Kupke, Jurriaan Rot |
Coalgebra Learning via Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, pp. 62-79, 2019, Springer, 978-3-030-17126-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Michele Boreale |
On the Coalgebra of Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 44th International Symposium on Mathematical Foundations of Computer Science, MFCS 2019, August 26-30, 2019, Aachen, Germany., pp. 24:1-24:13, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-117-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Markus Roggenbach, Ana Sokolova (eds.) |
8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7 The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
23 | Graham Campbell 0001, Brian Courtehoute, Detlef Plump |
Linear-Time Graph Algorithms in GP 2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 16:1-16:23, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Damien Pous |
Coinduction: Automata, Formal Proof, Companions (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 4:1-4:4, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Nick Bezhanishvili, Jim de Groot, Yde Venema |
Coalgebraic Geometric Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 7:1-7:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Milius |
From Equational Specifications of Algebras with Structure to Varieties of Data Languages (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 2:1-2:5, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Jens Seeber, Pawel Sobocinski 0001 |
The Axiom of Choice in Cartesian Bicategories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 15:1-15:17, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Adámek |
On Terminal Coalgebras Derived from Initial Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 12:1-12:21, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Gerco van Heerdt, Tobias Kappé, Jurriaan Rot, Matteo Sammartino, Alexandra Silva 0001 |
Tree Automata as Algebras: Minimisation and Determinisation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 6:1-6:22, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Samuel Balco, Alexander Kurz 0001 |
Nominal String Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 18:1-18:20, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Mihai Codescu |
Hybridisation of Institutions in HETS (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 17:1-17:10, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | |
Front Matter, Table of Contents, Preface, Conference Organization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 0:1-0:10, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Tao Gu, Fabio Zanasi |
A Coalgebraic Perspective on Probabilistic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 10:1-10:21, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Astrid Belder, Bas Luttik, Jos C. M. Baeten |
Sequencing and Intermediate Acceptance: Axiomatisation and Decidability of Bisimilarity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 11:1-11:22, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Xiaohong Chen 0002, Grigore Rosu |
Matching mu-Logic: Foundation of K Framework (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 1:1-1:4, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Danel Ahman, Tarmo Uustalu |
Decomposing Comonad Morphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 14:1-14:19, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Vincenzo Ciancia, Yde Venema |
Omega-Automata: A Coalgebraic Perspective on Regular omega-Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 5:1-5:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Henning Basold |
Coinduction in Flow: The Later Modality in Fibrations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 8:1-8:22, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Stefano Gogioso |
A Diagrammatic Approach to Quantum Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 19:1-19:23, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Marc de Visme, Glynn Winskel |
Causal Unfoldings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 9:1-9:18, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Pawel Sobocinski 0001, Paul W. Wilson 0002, Fabio Zanasi |
CARTOGRAPHER: A Tool for String Diagrammatic Reasoning (Tool Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 20:1-20:7, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Paul Blain Levy, Sergey Goncharov 0001 |
Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 13:1-13:17, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Mehrnoosh Sadrzadeh |
Principles of Natural Language, Logic, and Tensor Semantics (Invited Paper). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 8th Conference on Algebra and Coalgebra in Computer Science, CALCO 2019, June 3-6, 2019, London, United Kingdom., pp. 3:1-3:4, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-120-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Simon Lemay |
Lifting Coalgebra Modalities and MELL Model Structure to Eilenberg-Moore Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1804.11116, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
23 | Xinxin Liu, Xiaofeng Wang |
A Representation Method and Optimization of Network Flow Based on Coalgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI ![In: 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation, SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI 2018, Guangzhou, China, October 8-12, 2018, pp. 2026-2029, 2018, IEEE, 978-1-5386-9380-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Jean-Simon Pacaud Lemay |
Lifting Coalgebra Modalities and IMELL Model Structure to Eilenberg-Moore Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSCD ![In: 3rd International Conference on Formal Structures for Computation and Deduction, FSCD 2018, July 9-12, 2018, Oxford, UK, pp. 21:1-21:20, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-077-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
23 | Dusko Pavlovic, Bertfried Fauser |
Smooth coalgebra: testing vector analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 27(7), pp. 1195-1235, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Michele Boreale |
Algebra, coalgebra, and minimization in polynomial differential equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1710.08350, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Ekaterina Komendantskaya, John Power (eds.) |
Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoALP-Ty ![The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Michele Boreale |
Algebra, Coalgebra, and Minimization in Polynomial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: 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, pp. 71-87, 2017, 978-3-662-54457-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Barbara König 0001 (eds.) |
7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0 The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP BibTeX RDF |
|
23 | Zeinab Bakhtiarinoodeh |
The Dynamics of Incomplete and Inconsistent Information : Applications of logic, algebra and coalgebra. (La dynamique de l'information incomplète et incohérente : applications de la logique, de l'algèbre et de la coalgèbre). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
23 | |
Front Matter, Table of Contents, Preface, List of Authors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 0:i-0:x, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Corina Cîrstea, Shunsuke Shimizu, Ichiro Hasuo |
Parity Automata for Quantitative Linear Time Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 7:1-7:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Colcombet, Daniela Petrisan |
Automata Minimization: a Functorial Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 8:1-8:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Fatemeh Seifan, Lutz Schröder, Dirk Pattinson |
Uniform Interpolation in Coalgebraic Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 21:1-21:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Dan Marsden, Fabrizio Genovese |
Custom Hypergraph Categories via Generalized Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 17:1-17:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Brendan Fong, Fabio Zanasi |
A Universal Construction for (Co)Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 12:1-12:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | David Reutter, Jamie Vicary |
A Classical Groupoid Model for Quantum Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 19:1-19:18, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Harsh Beohar, Sebastian Küpper |
On Path-Based Coalgebras and Weak Notions of Bisimulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 6:1-6:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alex Simpson |
Probability Sheaves and the Giry Monad. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 1:1-1:6, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Milius |
Proper Functors and their Rational Fixed Point. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 18:1-18:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Clovis Eberhart, Tom Hirschowitz |
Justified Sequences in String Diagrams: a Comparison Between Two Approaches to Concurrent Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 10:1-10:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Kenta Cho 0002, Bart Jacobs 0001 |
The EfProb Library for Probabilistic Calculations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 25:1-25:8, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Tomas Jakl, Achim Jung |
Free Constructions and Coproducts of d-Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 14:1-14:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | William John Gowers, James Laird |
Sequoidal Categories and Transfinite Games: A Coalgebraic Approach to Stateful Objects in Game Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 13:1-13:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Zeinab Bakhtiari, Helle Hvid Hansen |
Bisimulation for Weakly Expressive Coalgebraic Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 4:1-4:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alessandro Gianola, Stefano Kasangian, Nicoletta Sabadini |
Cospan/Span(Graph): an Algebra for Open, Reconfigurable Automata Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 2:1-2:17, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Henning Urbat |
Finite Behaviours and Finitary Corecursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 24:1-24:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Ana Sokolova, Harald Woracek |
Termination in Convex Sets of Distributions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 22:1-22:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Fredrik Dahlqvist, Alexander Kurz 0001 |
The Positivication of Coalgebraic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 9:1-9:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Enqvist, Yde Venema |
Disjunctive Bases: Normal Forms for Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 11:1-11:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Adámek, Stefan Milius |
On Corecursive Algebras for Functors Preserving Coproducts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 3:1-3:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | David Reutter, Jamie Vicary |
A 2-Categorical Approach to Composing Quantum Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 20:1-20:20, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | David Sprunger, Lawrence S. Moss |
Precongruences and Parametrized Coinduction for Logics for Behavioral Equivalence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 23:1-23:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Harald König, Uwe Wolter |
Being Van Kampen in Presheaf Topoi is a Uniqueness Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 16:1-16:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Knapp, Till Mossakowski |
UML Interactions Meet State Machines - An Institutional Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 15:1-15:15, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Henning Basold, Damien Pous, Jurriaan Rot |
Monoidal Company for Accessible Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 7th Conference on Algebra and Coalgebra in Computer Science, CALCO 2017, June 12-16, 2017, Ljubljana, Slovenia, pp. 5:1-5:16, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-033-0. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
23 | Bart Jacobs 0001 |
Introduction to Coalgebra: Towards Mathematics of States and Observation ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2016 |
DOI RDF |
|
23 | Bashar Igried, Anton Setzer |
Trace and Stable Failures Semantics for CSP-Agda. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoALP-Ty ![In: Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016., pp. 36-51, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Yue Li 0021 |
Structural Resolution with Co-inductive Loop Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoALP-Ty ![In: Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016., pp. 52-67, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Luca Franceschini, Davide Ancona, Ekaterina Komendantskaya |
Structural Resolution for Abstract Compilation of Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoALP-Ty ![In: Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016., pp. 19-35, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Davide Ancona, Francesco Dagnino, Elena Zucca |
Extending Coinductive Logic Programming with Co-Facts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoALP-Ty ![In: Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016., pp. 1-18, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
23 | Johannes Marti, Yde Venema |
Lax extensions of coalgebra functors and their logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 81(5), pp. 880-900, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Baltasar Trancón y Widemann, Michael Hauhs |
Scientific Modelling with Coalgebra-Algebra Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.07290, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Toshiki Kataoka, Dusko Pavlovic |
Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1505.01098, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Prasit Bhattacharya |
The p-adic Integers as Final Coalgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WoLLIC ![In: Logic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings, pp. 189-199, 2015, Springer, 978-3-662-47708-3. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Damien Pous |
Coinductive techniques, from automata to coalgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLMW@POPL ![In: Proceedings of the Programming Languages Mentoring Workshop, PLMW@POPL 2015, Mumbai, India, January 14, 2015, pp. 6:1, 2015, ACM, 978-1-4503-3299-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Dexter Kozen, Konstantinos Mamouras, Daniela Petrisan, Alexandra Silva 0001 |
Nominal Kleene Coalgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, pp. 286-298, 2015, Springer, 978-3-662-47665-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Lawrence S. Moss, Pawel Sobocinski 0001 (eds.) |
6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2 The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
23 | Jirí Adámek, Stefan Milius, Henning Urbat |
Syntactic Monoids in a Category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 1-16, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Ionut Tutu, José Luiz Fiadeiro |
Revisiting the Institutional Approach to Herbrand's Theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 304-319, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Johannes Marti, Fatemeh Seifan, Yde Venema |
Uniform Interpolation for Coalgebraic Fixpoint Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 238-252, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Paul Blain Levy |
Final Coalgebras from Corecursive Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 221-237, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Kurz 0001, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries |
Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 205-220, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | |
Front Matter, Table of Contents, Preface, List of Authors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. i-xii, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Ulrich Fahrenberg, Axel Legay |
Partial Higher-dimensional Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 101-115, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Paolo Baldan, Filippo Bonchi, Henning Kerstan, Barbara König 0001 |
Towards Trace Metrics via Functor Lifting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 35-49, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Bartek Klin, Beata Nachyla |
Presenting Morphisms of Distributive Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 190-204, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Bart Jacobs 0001 |
A Recipe for State-and-Effect Triangles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 116-129, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Clovis Eberhart, Tom Hirschowitz, Thomas Seiller |
An Intensionally Fully-abstract Sheaf Model for pi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 86-100, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Aleks Kissinger, David Quick |
A First-order Logic for String Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 171-189, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Shin-ya Katsumata, Tetsuya Sato 0001 |
Codensity Liftings of Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 156-170, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Milius, Thorsten Wißmann |
Finitary Corecursion for the Infinitary Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 336-351, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Robin Piedeleu, Dimitri Kartsaklis, Bob Coecke, Mehrnoosh Sadrzadeh |
Open System Categorical Quantum Semantics in Natural Language Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 270-289, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Natsuki Urabe, Ichiro Hasuo |
Coalgebraic Infinite Traces and Kleisli Simulations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 320-335, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Corina Cîrstea |
Canonical Coalgebraic Linear Time Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 66-85, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Stefan Milius, Dirk Pattinson, Lutz Schröder |
Generic Trace Semantics and Graded Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 253-269, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Extensions of Functors From Set to V-cat. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 17-34, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Maciej Piróg, Nicolas Wu, Jeremy Gibbons |
Modules Over Monads and Their Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 290-303, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Liang-Ting Chen 0001, Henning Urbat |
A Fibrational Approach to Automata Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, June 24-26, 2015, Nijmegen, The Netherlands, pp. 50-65, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-84-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Marcello M. Bonsangue, Helle Hvid Hansen, Prakash Panangaden, Jan J. M. M. Rutten, Alexandra Silva 0001 |
Algebra-coalgebra duality in Brzozowski's minimization algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Log. ![In: ACM Trans. Comput. Log. 15(1), pp. 3:1-3:29, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | Wolfram Kahl |
Graph Transformation with Symbolic Attributes via Monadic Coalgebra Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commun. Eur. Assoc. Softw. Sci. Technol. ![In: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 71, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|