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