default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID10. RelMiCS 2008: Frauenwörth, Germany
- Rudolf Berghammer, Bernhard Möller, Georg Struth:
Relations and Kleene Algebra in Computer Science, 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings. Lecture Notes in Computer Science 4988, Springer 2008, ISBN 978-3-540-78912-3 - Marc Pauly:
Formal Methods and the Theory of Social Choice. 1-2 - Gunther Schmidt
:
Relations Making Their Way from Logics to Mathematics and Applied Sciences. 3 - Philippe Balbiani, Tinko Tinchev:
Boolean Logics with Relations. 4-21 - Rudolf Berghammer, Britta Kehden:
Relation Algebra and RelViewin Practical Use: Construction of Special University Timetables. 22-36 - Bernd Braßel, Jan Christiansen:
A Relation Algebraic Semantics for a Lazy Functional Logic Language. 37-53 - Jean-Lou De Carufel, Jules Desharnais:
Latest News about Demonic Algebra with Domain. 54-68 - Jean-Lou De Carufel, Jules Desharnais:
On the Structure of Demonic Refinement Algebras with Enabledness and Termination. 69-83 - Florian Diedrich, Britta Kehden, Frank Neumann:
Multi-objective Problems in Terms of Relational Algebra. 84-98 - Ivo Düntsch, Michael Winter:
The Lattice of Contact Relations on a Boolean Algebra. 99-109 - Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa:
A Non-probabilistic Relational Model of Probabilistic Kleene Algebras. 110-122 - Timothy G. Griffin, Alexander J. T. Gurney:
Increasing Bisemigroups and Algebraic Routing. 123-137 - Walter Guttmann:
Lazy Relations. 138-154 - Mark Hopkins:
The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. 155-172 - Mark Hopkins:
The Algebraic Approach II: Dioids, Quantales and Monads. 173-190 - Peter Höfner:
Automated Reasoning for Hybrid Systems - Two Case Studies -. 191-205 - Peter Höfner, Georg Struth:
Non-termination in Idempotent Semirings. 206-220 - Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara:
Formal Concepts in Dedekind Categories. 221-233 - Peter Jipsen, Georg Struth:
The Structure of the One-Generated Free Domain Semiring. 234-242 - Wolfram Kahl:
Determinisation of Relational Substitutions in Ordered Categories with Domain. 243-258 - Yasuo Kawahara:
Boolean Algebras and Stone Maps in Schröder Categories. 259-273 - Yasuo Kawahara, Michael Winter:
Cardinality in Allegories. 274-288 - Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc:
Solving Linear Equations in *-continuous Action Lattices. 289-303 - Larissa Meinicke, Kim Solin:
Reactive Probabilistic Programs and Refinement Algebra. 304-319 - Bernhard Möller:
Knowledge and Games in Modal Semirings. 320-336 - Camilo Rocha, José Meseguer:
Theorem Proving Modulo Based on Boolean Equational Procedures. 337-351 - Gunther Schmidt:
Rectangles, Fringes, and Inverses. 352-366 - Michael Winter:
An Ordered Category of Processes. 367-381 - James Worthington:
Automatic Proof Generation in Kleene Algebra. 382-396
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-09-25 00:53 CEST 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:
