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