default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. RelMiCS 2009: Doha, Qatar
- Rudolf Berghammer, Ali Jaoua, Bernhard Möller:
Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings. Lecture Notes in Computer Science 5827, Springer 2009, ISBN 978-3-642-04638-4 - Rohit Parikh:
Knowledge and Structure in Social Algorithms. 1-12 - Harrie C. M. de Swart, Rudolf Berghammer, Agnieszka Rusinowska
:
Computational Social Choice Using Relation Algebra and RelView. 13-28 - John N. Billings, Timothy G. Griffin:
A Model of Internet Routing Using Semi-modules. 29-43 - Claude Bolduc, Béchir Ktari:
Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs. 44-58 - Han-Hing Dang, Peter Höfner, Bernhard Möller:
Towards Algebraic Separation Logic. 59-72 - Jules Desharnais, Peter Jipsen, Georg Struth:
Domain and Antidomain Semigroups. 73-87 - Patrik Eklund, Robert Helgesson:
Composing Partially Ordered Monads. 88-102 - Alexander Fronk, Rudolf Berghammer:
A Relation-Algebraic Approach to Liveness of Place/Transition Nets. 103-118 - Hitoshi Furusawa, Fumiya Sanda:
*-Continuous Idempotent Left Semirings and Their Ideal Completion. 119-133 - Roland Glück, Bernhard Möller, Michel Sintzoff:
A Semiring Approach to Equivalences, Bisimulations and Control. 134-149 - Walter Guttmann:
General Correctness Algebra. 150-165 - C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman:
Foundations of Concurrent Kleene Algebra. 166-186 - Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara:
Armstrong's Inference Rules in Dedekind Categories. 187-198 - Ali Jaoua, Rehab M. Duwairi, Samir Elloumi, Sadok Ben Yahia:
Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage. 199-210 - Wolfram Kahl:
Collagories for Relational Adhesive Rewriting. 211-226 - Yasuo Kawahara, Michael Winter:
Cardinal Addition in Distributive Allegories. 227-241 - Asma Louhichi, Olfa Mraihi, Lamia Labed Jilani, Khaled Bsaïes, Ali Mili:
Relational Methods in the Analysis of While Loops: Observations of Versatility. 242-259 - Martin Eric Müller:
Modalities, Relations, and Learning. 260-275 - Koki Nishizawa, Norihiro Tsumagari, Hitoshi Furusawa:
The Cube of Kleene Algebras and the Triangular Prism of Multirelations. 276-290 - Ewa Orlowska, Ingrid Rewitzky:
Discrete Duality for Relation Algebras and Cylindric Algebras. 291-305 - Gunther Schmidt, Rudolf Berghammer:
Contact Relations with Applications. 306-321 - Kim Solin:
A While Program Normal Form Theorem in Total Correctness. 322-336 - Michael Winter:
Complements in Distributive Allegories. 337-350 - Michael Winter, Torsten Hahmann, Michael Gruninger:
On the Skeleton of Stonian p-Ortholattices. 351-365
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
