RelMiCS10/AKA5 - Accepted Papers
- Formal Methods and the Theory of Social Choice (invited talk)
Marc Pauly
- Relations Making Their Way From Logics to Mathematics and Applied Sciences (invited talk)
Gunther Schmidt
- Boolean Logics With Relations
Philippe Balbiani, Tinko Tinchev
- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables
Rudolf Berghammer, Britta Kehden
- A Relation Algebraic Semantics for a Lazy Functional Logic Language
Bernd Braßel, Jan Christiansen
- Latest News About Demonic Algebra With Domain
Jean-Lou De Carufel, Jules Desharnais
- On the Structure of Demonic Refinement Algebras With Enabledness and Termination
Jean-Lou De Carufel, Jules Desharnais
- Multi-Objective Problems in Terms of Relational Algebra
Florian Diedrich, Britta Kehden, Frank Neumann
- The Lattice of Contact Relations on a Boolean Algebra
Ivo Düntsch, Michael Winter
- A Non-Probabilistic Relational Model of Probabilistic Kleene Algebras
Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa
- Increasing Bisemigroups and Algebraic Routing
Timothy Griffin, Alexander Gurney
- Lazy Relations
Walter Guttmann
- The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy
Mark Hopkins
- The Algebraic Approach II: Dioids, Quantales and Monads
Mark Hopkins
- Automated Reasoning for Hybrid Systems --- Two Case Studies
Peter Höfner
- Non-Termination in Idempotent Semirings
Peter Höfner, Georg Struth
- Formal Concepts in Dedekind Categories
Toshikazu Ishida, Kazumasa Honda, Yasuo Kawahara
- The Structure of the One-Generated Free Domain Semiring
Peter Jipsen, Georg Struth
- Determinisation of Relational Substitutions in Ordered Categories with Domain
Wolfram Kahl
- Boolean Algebras and Stone Maps in Schröder Categories
Yasuo Kawahara
- Cardinality in Allegories
Yasuo Kawahara, Michael Winter
- Solving Linear Equations in *-continuous Action Lattices
Béchir Ktari, François Lajeunesse-Robert, Claude Bolduc
- Reactive Probabilistic Programs and Refinement Algebra
Larissa Meinicke, Kim Solin
- Knowledge and Games in Modal Semirings
Bernhard Möller
- Theorem Proving Modulo Based on Boolean Equational Procedures
Camilo Rocha, Jose Meseguer
- Rectangles, Fringes, and Inverses
Gunther Schmidt
- An Ordered Category of Processes
Michael Winter
- Automatic Proof Generation in Kleene Algebra
James Worthington
B. Möller
rel_aka08@informatik.uni-augsburg.de
Last modified:
1-Feb-2008