9. RelMiCS 2006:
Manchester,
UK
Renate A. Schmidt (Ed.):
Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings.
Lecture Notes in Computer Science 4136 Springer 2006, ISBN 3-540-37873-1 BibTeX
- Ernie Cohen:
Weak Kleene Algebra and Computation Trees.
1
Electronic Edition (link) BibTeX
- Roger D. Maddux:
Finite Symmetric Integral Relation Algebras with No 3-Cycles.
2-29
Electronic Edition (link) BibTeX
- Jeff W. Sanders:
Computations and Relational Bundles.
30-62
Electronic Edition (link) BibTeX
- Kamal Aboul-Hosn:
An Axiomatization of Arrays for Kleene Algebra with Tests.
63-77
Electronic Edition (link) BibTeX
- Kamal Aboul-Hosn, Dexter Kozen:
Local Variable Scoping and Kleene Algebra with Tests.
78-90
Electronic Edition (link) BibTeX
- Rudolf Berghammer:
Computing and Visualizing Lattices of Subgroups Using Relation Algebra and \sc RelView.
91-105
Electronic Edition (link) BibTeX
- Wojciech Buszkowski:
On the Complexity of the Equational Theory of Relational Action Algebras.
106-119
Electronic Edition (link) BibTeX
- Jean-Lou De Carufel, Jules Desharnais:
Demonic Algebra with Domain.
120-134
Electronic Edition (link) BibTeX
- Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter:
Topological Representation of Contact Lattices.
135-147
Electronic Edition (link) BibTeX
- Ivo Düntsch, Alasdair Urquhart:
Betweenness and Comparability Obtained from Binary Relations.
148-161
Electronic Edition (link) BibTeX
- Wojciech Dzik, Ewa Orlowska, Clint J. van Alten:
Relational Representation Theorems for General Lattices with Negations.
162-176
Electronic Edition (link) BibTeX
- Marcelo F. Frias, Rodolfo Gamarra, Gabriela Steren, Lorena Bourg:
Monotonicity Analysis Can Speed Up Verification.
177-191
Electronic Edition (link) BibTeX
- Stephane Gaubert, Ricardo Katz:
Max-Plus Convex Geometry.
192-206
Electronic Edition (link) BibTeX
- Peter Höfner, Bernhard Möller:
Lazy Semiring Neighbours and Some Applications.
207-221
Electronic Edition (link) BibTeX
- Peter Höfner, Bernhard Möller, Kim Solin:
Omega Algebra, Demonic Refinement Algebra and Commands.
222-234
Electronic Edition (link) BibTeX
- Wolfram Kahl:
Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell.
235-250
Electronic Edition (link) BibTeX
- Yasuo Kawahara:
On the Cardinality of Relations.
251-265
Electronic Edition (link) BibTeX
- Britta Kehden:
Evaluating Sets of Search Points Using Relational Algebra.
266-280
Electronic Edition (link) BibTeX
- Tadeusz Litak:
Algebraization of Hybrid Logic with Binders.
281-295
Electronic Edition (link) BibTeX
- Annabelle McIver, E. Cohen, Carroll Morgan:
Using Probabilistic Kleene Algebra for Protocol Verification.
296-310
Electronic Edition (link) BibTeX
- Ingrid Rewitzky, Chris Brink:
Monotone Predicate Transformers as Up-Closed Multirelations.
311-327
Electronic Edition (link) BibTeX
- Gunther Schmidt:
Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective.
328-342
Electronic Edition (link) BibTeX
- Gunther Schmidt:
Relational Measures and Integration.
343-357
Electronic Edition (link) BibTeX
- Giuseppe Scollo, Giuditta Franco, Vincenzo Manca:
A Relational View of Recurrence and Attractors in State Transition Dynamics.
358-372
Electronic Edition (link) BibTeX
- Kim Solin:
On Two Dually Nondeterministic Refinement Algebras.
373-387
Electronic Edition (link) BibTeX
- Andrzej Szalas, Jerzy Tyszkiewicz:
On the Fixpoint Theory of Equality and Its Applications.
388-401
Electronic Edition (link) BibTeX
- Toshinori Takai, Hitoshi Furusawa:
Monodic Tree Kleene Algebra.
402-416
Electronic Edition (link) BibTeX
- Michael Winter:
Weak Relational Products.
417-431
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:35:49 2009
by Michael Ley (ley@uni-trier.de)
