Conferences in DBLP
Rudolf Berghammer , Gunther Schmidt , Michael Winter RelView and Rath - Two Systems for Dealing with Relations. [Citation Graph (0, 0)][DBLP ] Theory and Applications of Relational Structures as Knowledge Instruments, 2003, pp:1-16 [Conf ] Raymond Bisdorff , Marc Roubens Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:1-7 [Conf ] Jules Desharnais Kleene Algebra with Relations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:8-20 [Conf ] Konstantine Arkoudas , Sarfraz Khurshid , Darko Marinov , Martin C. Rinard Integrating Model Checking and Theorem Proving for Relational Reasoning. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:21-33 [Conf ] Roland Carl Backhouse , Diethard Michaelis Fixed-Point Characterisation of Winning Strategies in Impartial Games. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:34-47 [Conf ] Adam Bakewell , Detlef Plump , Colin Runciman Checking the Shape Safety of Pointer Manipulations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:48-61 [Conf ] Rudolf Berghammer , Alexander Fronk Applying Relational Algebra in 3D Graphical Software Design. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:62-74 [Conf ] Hans Bherer , Jules Desharnais , Marc Frappier , Richard St.-Denis Investigating Discrete Controllability with Kleene Algebra. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:74-85 [Conf ] Ernst-Erich Doberkat Tracing Relations Probabilistically. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:86-98 [Conf ] Thorsten Ehm Pointer Kleene Algebra. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:99-111 [Conf ] Thorsten Ehm , Bernhard Möller , Georg Struth Kleene Modules. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:112-124 [Conf ] Hitoshi Furusawa The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:124-136 [Conf ] Carlos Gonzalia Towards a Formalisation of Relational Database Theory in Constructive Type Theory. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:137-148 [Conf ] Valentin Goranko , Ullrich Hustadt , Renate A. Schmidt , Dimiter Vakarelov SCAN Is Complete for All Sahlqvist Formulae. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:149-162 [Conf ] Petr Hájek Relations and GUHA-Style Data Mining II. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:163-170 [Conf ] Peter Jipsen A Note on Complex Algebras of Semigroups. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:171-177 [Conf ] Wolfram Kahl Calculational Relation-Algebraic Proofs in Isabelle/Isar. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:178-190 [Conf ] Wendy MacCaull , Ewa Orlowska A Calculus of Typed Relations. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:191-201 [Conf ] Bernhard Möller , Georg Struth Greedy-Like Algorithms in Modal Kleene Algebra. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:202-215 [Conf ] Eugenio G. Omodeo , Ewa Orlowska , Alberto Policriti Rasiowa-Sikorski Style Relational Elementary Set Theory. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:215-226 [Conf ] Gunther Schmidt Relational Data Analysis. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:227-237 [Conf ] Renate A. Schmidt , Ewa Orlowska , Ullrich Hustadt Two Proof Systems for Peirce Algebras. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:238-251 [Conf ] Giuseppe Scollo An Institution Isomorphism for Planar Graph Colouring. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:252-264 [Conf ] Michael Winter Decomposing Relations into Orderings. [Citation Graph (0, 0)][DBLP ] RelMiCS, 2003, pp:265-277 [Conf ]