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