5. RelMiCS 2000:
Valcartier,
Quebec,
Canada
Jules Desharnais (Ed.):
Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada.
2000 
@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
- Rudolf Berghammer, Thorsten Hoffmann:
Relational Depth-First-Search with Applications.
11-20
- Michael Böttner:
Multigrade Extension of Relational Grammar.
21-30
- Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro:
A Decision Method for Duration Calculus.
31-44
- Jordi Cortadella, Gabriel Valiente:
A Relational View of Subgraph Isomorphism.
45-54
- Jules Desharnais, Bernhard Möller:
Characterizing Functions in Kleene Algebras.
55-64
- Ivo Düntsch, Ewa Orlowska, Hui Wang:
An Algebraic and Logical Approach to the Approximation of Regions.
65-74
- Marcelo F. Frias, Gabriel Baum, Esteban de la Canal:
How to say Greedy in Fork Algebras.
75-84
- Carlos Gonzalia:
The Allegory of E-Relations in Constructive Type Theory.
85-94
- Lew Gordeev:
Combinatorial Principles Relevant to Finite Variable Logic.
95-111
- Robert E. Jamison, Beth Novick:
On a Contraction-Expansion Closure in Graphs.
113-119
- Robert E. Jamison, John L. Pfaltz:
Closure Systems and their Structure.
121-132
- Ryszard Janicki, Ridha Khédri:
Remarks on Mereology of Relations.
133-140
- 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
- Peter Jipsen:
Some Results about Complex Algebras of Algebras.
151-156
- Nerman Jurrjus, Harrie C. M. de Swart:
Implication-with-possible-exceptions.
157-163
- Wolfram Kahl:
Unsharp Demonic Products and Stratified Term Graphs.
165-174
- Yasuo Kawahara, Hitoshi Furusawa:
Crispness in Dedekind Categories.
175-184
- Yasuo Kawahara, Hitomi Ohkuma:
Relational Aspects of Relational Database Dependencies.
185-194
- Dexter Kozen, Jerzy Tiuryn:
On the Completeness of Propositional Hoare Logic.
195-202
- Yoshihiro Mizoguchi, Pericles Loucopoulos:
Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions.
203-209
- Jacques Riguet:
Generating and extending relational algebra by relational generators.
211-216
- Yahya Slimani, Soulimane Mammar:
Relational Petri Nets: a new class of high-level Petri nets.
217-222
- Fairouz Tchier:
Semantique relationnelle demoniaque des diagrammes composes.
223-231
- Michael Winter:
An Algebraic Formalisation of L-Fuzzy Relations.
233-242
Acknowledgement:
The information on this page was contributed by Gunther Schmidt
Last update Tue Feb 14 04:09:50 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
