The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Habib Ammari, Ali Mili
    Lattice Based Distances. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:1-10 [Conf]
  2. Rudolf Berghammer, Thorsten Hoffmann
    Relational Depth-First-Search with Applications. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:11-20 [Conf]
  3. Michael Böttner
    Multigrade Extension of Relational Grammar. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:21-30 [Conf]
  4. Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
    A Decision Method for Duration Calculus. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:31-44 [Conf]
  5. Jordi Cortadella, Gabriel Valiente
    A Relational View of Subgraph Isomorphism. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:45-54 [Conf]
  6. Jules Desharnais, Bernhard Möller
    Characterizing Functions in Kleene Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:55-64 [Conf]
  7. Ivo Düntsch, Ewa Orlowska, Hui Wang
    An Algebraic and Logical Approach to the Approximation of Regions. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:65-74 [Conf]
  8. Marcelo F. Frias, Gabriel Baum, Esteban de la Canal
    How to say Greedy in Fork Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:75-84 [Conf]
  9. Carlos Gonzalia
    The Allegory of E-Relations in Constructive Type Theory. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:85-94 [Conf]
  10. Lew Gordeev
    Combinatorial Principles Relevant to Finite Variable Logic. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:95-111 [Conf]
  11. Robert E. Jamison, Beth Novick
    On a Contraction-Expansion Closure in Graphs. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:113-119 [Conf]
  12. Robert E. Jamison, John L. Pfaltz
    Closure Systems and their Structure. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:121-132 [Conf]
  13. Ryszard Janicki, Ridha Khédri
    Remarks on Mereology of Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:133-140 [Conf]
  14. Ali Jaoua, Faisal Alvi, Samir Elloumi, Sadok Ben Yahia
    Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:141-149 [Conf]
  15. Peter Jipsen
    Some Results about Complex Algebras of Algebras. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:151-156 [Conf]
  16. Nerman Jurrjus, Harrie C. M. de Swart
    Implication-with-possible-exceptions. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:157-163 [Conf]
  17. Wolfram Kahl
    Unsharp Demonic Products and Stratified Term Graphs. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:165-174 [Conf]
  18. Yasuo Kawahara, Hitoshi Furusawa
    Crispness in Dedekind Categories. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:175-184 [Conf]
  19. Yasuo Kawahara, Hitomi Ohkuma
    Relational Aspects of Relational Database Dependencies. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:185-194 [Conf]
  20. Dexter Kozen, Jerzy Tiuryn
    On the Completeness of Propositional Hoare Logic. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:195-202 [Conf]
  21. Yoshihiro Mizoguchi, Pericles Loucopoulos
    Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:203-209 [Conf]
  22. Jacques Riguet
    Generating and extending relational algebra by relational generators. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:211-216 [Conf]
  23. Yahya Slimani, Soulimane Mammar
    Relational Petri Nets: a new class of high-level Petri nets. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:217-222 [Conf]
  24. Fairouz Tchier
    Semantique relationnelle demoniaque des diagrammes composes. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:223-231 [Conf]
  25. Michael Winter
    An Algebraic Formalisation of L-Fuzzy Relations. [Citation Graph (0, 0)][DBLP]
    RelMiCS, 2000, pp:233-242 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002