5. RelMiCS 2000: Valcartier, Quebec, Canada

@proceedings{DBLP:conf/RelMiCS/2000,
  editor    = {Jules Desharnais},
  title     = {Participants Copies of Fifth International Seminar on Relational
               Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec),
               Canada},
  booktitle = {RelMiCS},
  year      = {2000},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

• Habib Ammari, Ali Mili: Lattice Based Distances. 1-10 BibTeX
• Rudolf Berghammer, Thorsten Hoffmann: Relational Depth-First-Search with Applications. 11-20 BibTeX
• Michael Böttner: Multigrade Extension of Relational Grammar. 21-30 BibTeX
• Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. 31-44 BibTeX
• Jordi Cortadella, Gabriel Valiente: A Relational View of Subgraph Isomorphism. 45-54 BibTeX
• Jules Desharnais, Bernhard Möller: Characterizing Functions in Kleene Algebras. 55-64 BibTeX
• Ivo Düntsch, Ewa Orlowska, Hui Wang: An Algebraic and Logical Approach to the Approximation of Regions. 65-74 BibTeX
• Marcelo F. Frias, Gabriel Baum, Esteban de la Canal: How to say Greedy in Fork Algebras. 75-84 BibTeX
• Carlos Gonzalia: The Allegory of E-Relations in Constructive Type Theory. 85-94 BibTeX
• Lew Gordeev: Combinatorial Principles Relevant to Finite Variable Logic. 95-111 BibTeX
• Robert E. Jamison, Beth Novick: On a Contraction-Expansion Closure in Graphs. 113-119 BibTeX
• Robert E. Jamison, John L. Pfaltz: Closure Systems and their Structure. 121-132 BibTeX
• Ryszard Janicki, Ridha Khédri: Remarks on Mereology of Relations. 133-140 BibTeX
• Ali Jaoua, Faisal Alvi, Samir Elloumi, Sadok Ben Yahia: Galois Connection in Fuzzy Binary Relations, Applications for Discovering Association Rules and Decision Making. 141-149 BibTeX
• Peter Jipsen: Some Results about Complex Algebras of Algebras. 151-156 BibTeX
• Nerman Jurrjus, Harrie C. M. de Swart: Implication-with-possible-exceptions. 157-163 BibTeX
• Wolfram Kahl: Unsharp Demonic Products and Stratified Term Graphs. 165-174 BibTeX
• Yasuo Kawahara, Hitoshi Furusawa: Crispness in Dedekind Categories. 175-184 BibTeX
• Yasuo Kawahara, Hitomi Ohkuma: Relational Aspects of Relational Database Dependencies. 185-194 BibTeX
• Dexter Kozen, Jerzy Tiuryn: On the Completeness of Propositional Hoare Logic. 195-202 BibTeX
• Yoshihiro Mizoguchi, Pericles Loucopoulos: Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions. 203-209 BibTeX
• Jacques Riguet: Generating and extending relational algebra by relational generators. 211-216 BibTeX
• Yahya Slimani, Soulimane Mammar: Relational Petri Nets: a new class of high-level Petri nets. 217-222 BibTeX
• Fairouz Tchier: Semantique relationnelle demoniaque des diagrammes composes. 223-231 BibTeX
• Michael Winter: An Algebraic Formalisation of L-Fuzzy Relations. 233-242 BibTeX