Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
23 | Bertfried Fauser, Dusko Pavlovic |
Smooth coalgebra: testing vector analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.4414, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Baltasar Trancón y Widemann |
Towards Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers, pp. 211-224, 2014, Springer, 978-3-662-44123-7. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | John Power, Cai Wingfield (eds.) |
Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013 ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![Elsevier The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
23 | Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter |
A Final Coalgebra for k-regular Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Horizons of the Mind ![In: Horizons of the Mind. A Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday, pp. 363-383, 2014, Springer, 978-3-319-06879-4. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
23 | |
An algebraic approach to weak and delay bismulation in coalgebra ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1302.4856, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
23 | Reiko Heckel, Stefan Milius (eds.) |
Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![Springer, 978-3-642-40205-0 The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Kerkhoff, Reinhard Pöschel, Friedrich Martin Schneider |
A Short Introduction to Clones. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 107-120, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Martin Hyland |
Towards a Notion of Lambda Monoid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 59-77, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Friedrich Martin Schneider |
Chaotic Actions of Locally Compact Hausdorff Topological Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 181-195, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | John Power, Cai Wingfield |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 1-2, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Mike Behrisch |
Clones with Nullary Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 3-35, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Kerkhoff |
Dualizing Clones as Models of Lawvere Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 79-105, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Claudio Hermida, Uday S. Reddy, Edmund P. Robinson |
Logical Relations and Parametricity - A Reynolds Programme for Category Theory and Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 149-180, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Ekaterina Komendantskaya, Martin Schmidt 0002, Jónathan Heras |
Exploiting Parallelism in Coalgebraic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 121-148, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Sam Staton |
Freyd categories are Enriched Lawvere Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 197-206, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Cynthia Vera Glodeanu |
Exploring Users' Preferences in a Fuzzy Setting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACT ![In: Proceedings of the Workshop on Algebra, Coalgebra and Topology, WACT 2013, Bath, UK, March 1, 2013, pp. 37-57, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Filippo Bonchi, Fabio Zanasi |
Saturated Semantics for Coalgebraic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 80-94, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg |
Positive Inductive-Recursive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 19-33, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Gorín, Lutz Schröder |
Simulations and Bisimulations for Coalgebraic Modal Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 253-266, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Marsden |
Coalgebras with Symmetries and Modelling Quantum Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 205-219, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Robert Furber, Bart Jacobs 0001 |
From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 141-157, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Renato Neves, Alexandre Madeira, Manuel A. Martins 0001, Luís Soares Barbosa |
Hybridisation at Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 340-345, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Pawel Sobocinski 0001 |
Nets, Relations and Linking Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 282-298, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Daniela Lepri, Erika Ábrahám, Peter Csaba Ölveczky |
A Timed CTL Model Checker for Real-Time Maude. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 334-339, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Joost Winter |
QStream: A Suite of Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 353-358, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Alexandra Silva 0001, Bram Westerbaan |
A Coalgebraic View of ε-Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 267-281, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Mihai Codescu, Till Mossakowski, Christian Maeder |
Checking Conservativity with Hets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 315-321, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Andrej Bauer, Matija Pretnar |
An Effect System for Algebraic Effects and Handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 1-16, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Adriana Balan, Alexander Kurz 0001, Jirí Velebil |
Positive Fragments of Coalgebraic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 51-65, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Damien Pous |
Coalgebraic Up-to Techniques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 34-35, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Pawel Sobocinski 0001, Owen Stephens |
Penrose: Putting Compositionality to Work for Petri Net Reachability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 346-352, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Luca Aceto, Eugen-Ioan Goriac, Anna Ingólfsdóttir, Mohammad Reza Mousavi 0001, Michel A. Reniers |
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 36-50, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Sergey Goncharov 0001 |
Trace Semantics via Generic Observations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 158-174, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Ionut Tutu, José Luiz Fiadeiro |
A Logic-Programming Semantics of Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 299-313, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian Enqvist |
Homomorphisms of Coalgebras from Predicate Liftings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 126-140, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Vincenzo Ciancia |
Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 110-125, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Yoshihiro Maruyama |
From Operational Chu Duality to Coalgebraic Quantum Symmetry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 220-235, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Mikolaj Bojanczyk |
Automata and Algebras for Infinite Words and Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 17-18, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz 0001, Jurriaan Rot |
Presenting Distributive Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 95-109, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Daniel Gâinâ, Min Zhang 0002, Yuki Chiba, Yasuhito Arimoto |
Constructor-Based Inductive Theorem Prover. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 328-333, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Tom Hirschowitz |
Full Abstraction for Fair Testing in CCS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 175-190, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Muhammad Fadlisyah, Peter Csaba Ölveczky |
The HI-Maude Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 322-327, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Andrei Popescu 0001, Johannes Hölzl, Tobias Nipkow |
Noninterfering Schedulers - When Possibilistic Noninterference Implies Probabilistic Noninterference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 236-252, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Lutz Schröder |
Preface to CALCO-Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 314, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Pierre Lescanne |
A Simple Case of Rationality of Escalation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 191-204, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Marta Bílková, Matej Dostál |
Many-Valued Relation Lifting and Moss' Coalgebraic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings, pp. 66-79, 2013, Springer, 978-3-642-40205-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
23 | Jeffrey R. Schmidt |
From Coalgebra to Bialgebra for the Six-Vertex Model: The Star-Triangle Relation as a Necessary Condition for Commuting Transfer Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Axioms ![In: Axioms 1(2), pp. 186-200, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Baltasar Trancón y Widemann |
Systematic Construction of Temporal Logics for Dynamical Systems via Coalgebra ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1212.1734, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
23 | Johannes Marti, Yde Venema |
Lax Extensions of Coalgebra Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS ![In: Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 - April 1, 2012, Revised Selected Papers, pp. 150-169, 2012, Springer, 978-3-642-32783-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Clemens Kupke, Jan J. M. M. Rutten |
On the Final Coalgebra of Automatic Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic and Program Semantics ![In: Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, pp. 149-164, 2012, Springer, 978-3-642-29484-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
23 | Lutz Schröder, Dirk Pattinson |
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 21(2), pp. 235-266, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Nick Bezhanishvili, Mai Gehrke |
Finitely generated free Heyting algebras via Birkhoff duality and coalgebra ![Search on Bibsonomy](Pics/bibsonomy.png) |
Log. Methods Comput. Sci. ![In: Log. Methods Comput. Sci. 7(2), 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Facundo Domínguez, Alberto Pardo |
Exploiting algebra/coalgebra duality for program fusion extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LDTA ![In: Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding, pp. 6, 2011, ACM, 978-1-4503-0665-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Lawrence S. Moss |
Connections of coalgebra and semantic modeling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12-14, 2011, pp. 28-36, 2011, ACM, 978-1-4503-0707-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Andrea Corradini 0001, Bartek Klin, Corina Cîrstea (eds.) |
Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![Springer, 978-3-642-22943-5 The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Ulrich Berger 0001, Kenji Miyamoto, Helmut Schwichtenberg, Monika Seisenberger |
Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 393-399, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Dorel Lucanu |
Preface to CALCO-Tools. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 377, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Francisco Durán 0001, Camilo Rocha, José María Álvarez 0002 |
Tool Interoperability in the Maude Formal Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 400-406, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Thomas Dinsdale-Young, Philippa Gardner, Mark J. Wheelhouse |
Abstract Local Reasoning for Program Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 36-39, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Clément Fumex, Neil Ghani, Patricia Johann |
Indexed Induction and Coinduction, Fibrationally. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 176-191, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Sergey Goncharov 0001, Lutz Schröder |
A Counterexample to Tensorability of Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 208-221, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Giorgio Bacci, Vincent Danos, Ohad Kammar |
On the Statistical Thermodynamics of Reversible Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 1-18, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Corina Cîrstea |
Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 130-144, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Camilo Rocha, José Meseguer 0001 |
Proving Safety Properties of Rewrite Theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 314-328, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jirí Adámek, Mahdieh Haddadi, Stefan Milius |
From Corecursive Algebras to Corecursive Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 55-69, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Marta Bílková, Alexander Kurz 0001, Daniela Petrisan, Jirí Velebil |
Relation Liftings on Preorders and Posets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 115-129, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Fredrik Dahlqvist, Dirk Pattinson |
On the Fusion of Coalgebraic Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 161-175, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan |
Stone Duality for Nominal Boolean Algebras with И. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 192-207, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Javier Esparza, Michael Luttenberger |
Solving Fixed-Point Equations by Derivation Tree Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 19-35, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jennifer Lantair, Pawel Sobocinski 0001 |
WiCcA : LTS Generation Tool for Wire Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 407-412, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Musab AlTurki, José Meseguer 0001 |
PVeStA: A Parallel Statistical Model Checking and Quantitative Analysis Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 386-392, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Gopal Gupta 0001, Neda Saeedloei, Brian W. DeVries, Richard Min, Kyle Marple, Feliks Kluzniak |
Infinite Computation, Co-induction and Computational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 40-54, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Ekaterina Komendantskaya, John Power |
Coalgebraic Semantics for Derivations in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 268-282, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | André Martins, Luís Soares Barbosa, Nuno F. Rodrigues |
Shacc: A Functional Prototyper for a Component Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 413-419, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Manuel A. Martins 0001, Alexandre Madeira, Razvan Diaconescu, Luís Soares Barbosa |
Hybridization of Institutions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 283-297, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Bart Jacobs 0001 |
Bases as Coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 237-252, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita |
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 253-267, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Jort Bergfeld, Yde Venema |
Model Constructions for Moss' Coalgebraic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 100-114, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Thorsten Altenkirch, Peter Morris, Fredrik Nordvall Forsberg, Anton Setzer |
A Categorical Semantics for Inductive-Inductive Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 70-84, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Baltasar Trancón y Widemann, Michael Hauhs |
Distributive-Law Semantics for Cellular Automata and Agent-Based Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 344-358, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Rasmus Ejlers Møgelberg, Sam Staton |
Linearly-Used State in Models of Call-by-Value. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 298-313, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Katsuhiko Sano |
Generalized Product of Coalgebraic Hybrid Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 329-343, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Mihai Codescu, Till Mossakowski |
Refinement Trees: Calculi, Tools, and Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 145-160, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Adriana Balan, Alexander Kurz 0001 |
Finitary Functors: From Set to Preord and Poset. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 85-99, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Joost Winter, Marcello M. Bonsangue, Jan J. M. M. Rutten |
Context-Free Languages, Coalgebraically. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 359-376, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Ichiro Hasuo |
The Microcosm Principle and Compositionality of GSOS-Based Component Calculi. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 222-236, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Luca Aceto, Georgiana Caltais, Eugen-Ioan Goriac, Anna Ingólfsdóttir |
PREG Axiomatizer - A Ground Bisimilarity Checker for GSOS with Predicates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings, pp. 378-385, 2011, Springer, 978-3-642-22943-5. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
23 | Michael Hauhs, Baltasar Trancón y Widemann |
Applications of Algebra and Coalgebra in Scientific Modelling: Illustrated with the Logistic Map. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMCS@ETAPS ![In: Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, CMCS@ETAPS 2010, Paphos, Cyprus, March 26-28, 2010, pp. 105-123, 2010, Elsevier. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Kurz 0001, Alessandra Palmigiano, Yde Venema |
Coalgebra and Logic: A Brief Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Comput. ![In: J. Log. Comput. 20(5), pp. 985-990, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
23 | Alexander Kurz 0001, Marina Lenisa, Andrzej Tarlecki (eds.) |
Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![Springer, 978-3-642-03740-5 The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Matthias M. Hölzl, Grit Denker, Max Meier, Martin Wirsing |
Constraint-Muse: A Soft-Constraint Based System for Music Therapy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 423-432, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Robert Atkey |
Algebras for Parameterised Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 3-17, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | M. Andrew Moshier, Daniela Petrisan |
A Duality Theorem for Real C* Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 284-299, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Ignacio Fábregas, David de Frutos-Escrig, Miguel Palomino |
Non-strongly Stable Orders Also Define Interesting Simulation Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 221-235, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Tobias Heindel, Pawel Sobocinski 0001 |
Van Kampen Colimits as Bicolimits in Span. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 335-349, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Fernando Orejas, Esther Guerra, Juan de Lara, Hartmut Ehrig |
Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 383-397, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Conor McBride |
Let's See How Things Unfold: Reconciling the Infinite with the Intensional (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 113-126, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Sebastian S. Bauer, Rolf Hennicker |
Views on Behaviour Protocols and Their Semantic Foundation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 367-382, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Leon Bendiksen, Peter Csaba Ölveczky |
The Priced-Timed Maude Tool. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 443-448, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
23 | Mai Gehrke |
Stone Duality and the Recognisable Languages over an Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings, pp. 236-250, 2009, Springer, 978-3-642-03740-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|