Conferences in DBLP

Relational Methods in Computer Science (RelMiCS) (RelMiCS)
2001 (conf/RelMiCS/2001)

1. Wolfram Kahl
   A Relation-Algebraic Approach to Graph Structure Transformation. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:1-14 [Conf]
   
2. Philippe Balbiani
   Emptiness Relations in Property Systems. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:15-34 [Conf]
   
3. Wojciech Buszkowski
   Pregroups: Models and Grammars. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:35-49 [Conf]
   
4. Ernst-Erich Doberkat, Eugenio G. Omodeo
   Algebraic Semantics of ER-Models in the Context of the Calculus of Relations. II: Dynamic View. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:50-65 [Conf]
   
5. Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum
   Interpretability of First-Order Dynamic Logic in a Relational Calculus. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:66-80 [Conf]
   
6. Petr Hájek
   Relations in GUHA Style Data Mining. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:81-87 [Conf]
   
7. Yasuo Kawahara
   Groups in Allegories. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:88-103 [Conf]
   
8. Robert E. Kent
   Distributed Conceptual Structures. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:104-123 [Conf]
   
9. Luis M. Laita, Eugenio Roanes-Lozano, Luis de Ledesma, Tomasa Calvo, L. Gozález-Sotos
   A Computer Algebra Approach to Relational Systems Using Gröbner Bases. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2001, pp:124-133 [Conf]
   
10. Mike Nachtegael, Martine De Cock, Dietrich Van der Weken, Etienne E. Kerre
    Fuzzy Relational Images in Computer Science. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:134-151 [Conf]
    
11. Hitomi Okuma, Yasuo Kawahara
    A Completeness Theorem for Extended Order Dependencies on Relational Attribute Models in Dedekind Categories. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:152-170 [Conf]
    
12. Ewa Orlowska, Anna Maria Radzikowska
    Double Residuated Lattices and Their Applications. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:171-189 [Conf]
    
13. Agata Pilitowska
    Interval Bilattices and Some Other Simple Bilattices. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:190-196 [Conf]
    
14. Gheorghe Stefanescu
    Interactive Systems: From Folklore to Mathematics. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:197-211 [Conf]
    
15. Michael Winter
    Relational Constructions in Goguen Categories. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:212-227 [Conf]
    
16. Ernst Zimmermann
    A Subintuitionistic Logic and Some of Its Methods. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:228-240 [Conf]
    
17. Rudolf Berghammer, Barbara Leoniuk, Ulf Milanese
    Implementation of Relational Algebra Using Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:241-257 [Conf]
    
18. Rudolf Berghammer, Thorsten Hoffmann
    Calculating a Relational Program for Transitive Reductions of Strongly Connected Graphs. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:258-275 [Conf]
    
19. Georg Struth
    Calculating Church-Rosser Proofs in Kleene Algebra. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:276-290 [Conf]
    
20. Kim Cao-Van, Bernard De Baets
    On the Definition and Representation of a Ranking. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:291-299 [Conf]
    
21. Ivo Düntsch, Marc Roubens
    Tangent Circle Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2001, pp:300-313 [Conf]