Conferences in DBLP

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

1. Georgi Dimov, Dimiter Vakarelov
   Topological Representation of Precontact Algebras. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:1-16 [Conf]
   
2. Ewa Orlowska, Ingrid Rewitzky, Ivo Düntsch
   Relational Semantics Through Duality. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:17-32 [Conf]
   
3. Alasdair Urquhart
   Duality Theory for Projective Algebras. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:33-47 [Conf]
   
4. Rudolf Berghammer, Ulf Milanese
   Relational Approach to Boolean Logic Problems. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:48-59 [Conf]
   
5. Claude Bolduc, Jules Desharnais
   Static Analysis of Programs Using Omega Algebra with Tests. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:60-72 [Conf]
   
6. Ivo Düntsch, Michael Winter
   Weak Contact Structures. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:73-82 [Conf]
   
7. Alexander Fronk, Jörg Pleumann
   On Relational Cycles. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:83-95 [Conf]
   
8. Hitoshi Furusawa
   A Framework for Kleene Algebra with an Embedded Structure. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:96-107 [Conf]
   
9. Walter Guttmann
   Non-termination in Unifying Theories of Programming. [Citation Graph (0, 0)][DBLP]
   RelMiCS, 2005, pp:108-120 [Conf]
   
10. Peter Höfner, Bernhard Möller
    Towards an Algebra of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:121-133 [Conf]
    
11. Jouni Järvinen, Ewa Orlowska
    Relational Correspondences for Lattices with Operators. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:134-146 [Conf]
    
12. Wolfram Kahl, Christopher Kumar Anand, Jacques Carette
    Control-Flow Semantics for Assembly-Level Data-Flow Graphs. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:147-160 [Conf]
    
13. Britta Kehden, Frank Neumann, Rudolf Berghammer
    Relational Implementation of Simple Parallel Evolutionary Algorithms. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:161-172 [Conf]
    
14. Wendy MacCaull, Dimiter Vakarelov
    Lattice-Based Paraconsistent Logic. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:173-187 [Conf]
    
15. Vincent Mathieu, Jules Desharnais
    Verification of Pushdown Systems Using Omega Algebra with Domain. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:188-199 [Conf]
    
16. Bernhard Möller, Georg Struth
    p Is. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:200-211 [Conf]
    
17. Ewa Orlowska, Anna Maria Radzikowska
    Relational Representability for Algebras of Substructural Logics. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:212-224 [Conf]
    
18. Georg Struth
    Knuth-Bendix Completion as a Data Structure. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:225-236 [Conf]
    
19. Ewa Orlowska, Andrzej Szalas
    Quantifier Elimination in Elementary Set Theory. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:237-248 [Conf]
    
20. Michael Winter
    Time-Dependent Contact Structures in Goguen Categories. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2005, pp:249-262 [Conf]