default search action
5. RelMiCS 2000: Valcartier, Quebec, Canada
- Jules Desharnais:
Participants Copies of Fifth International Seminar on Relational Methods in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada. 2000 - Habib Ammari, Ali Mili:
Lattice Based Distances. RelMiCS 2000: 1-10 - Rudolf Berghammer, Thorsten Hoffmann:
Relational Depth-First-Search with Applications. RelMiCS 2000: 11-20 - Michael Böttner:
Multigrade Extension of Relational Grammar. RelMiCS 2000: 21-30 - Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro:
A Decision Method for Duration Calculus. RelMiCS 2000: 31-44 - Jordi Cortadella, Gabriel Valiente:
A Relational View of Subgraph Isomorphism. RelMiCS 2000: 45-54 - Jules Desharnais, Bernhard Möller:
Characterizing Functions in Kleene Algebras. RelMiCS 2000: 55-64 - Ivo Düntsch, Ewa Orlowska, Hui Wang:
An Algebraic and Logical Approach to the Approximation of Regions. RelMiCS 2000: 65-74 - Marcelo F. Frias, Gabriel Baum, Esteban de la Canal:
How to say Greedy in Fork Algebras. RelMiCS 2000: 75-84 - Carlos Gonzalía:
The Allegory of E-Relations in Constructive Type Theory. RelMiCS 2000: 85-94 - Lew Gordeev:
Combinatorial Principles Relevant to Finite Variable Logic. RelMiCS 2000: 95-111 - Robert E. Jamison, Beth Novick:
On a Contraction-Expansion Closure in Graphs. RelMiCS 2000: 113-119 - Robert E. Jamison, John L. Pfaltz:
Closure Systems and their Structure. RelMiCS 2000: 121-132 - Ryszard Janicki, Ridha Khédri:
Remarks on Mereology of Relations. RelMiCS 2000: 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. RelMiCS 2000: 141-149 - Peter Jipsen:
Some Results about Complex Algebras of Algebras. RelMiCS 2000: 151-156 - Nerman Jurrjus, Harrie C. M. de Swart:
Implication-with-possible-exceptions. RelMiCS 2000: 157-163 - Wolfram Kahl:
Unsharp Demonic Products and Stratified Term Graphs. RelMiCS 2000: 165-174 - Yasuo Kawahara, Hitoshi Furusawa:
Crispness in Dedekind Categories. RelMiCS 2000: 175-184 - Yasuo Kawahara, Hitomi Ohkuma:
Relational Aspects of Relational Database Dependencies. RelMiCS 2000: 185-194 - Dexter Kozen, Jerzy Tiuryn:
On the Completeness of Propositional Hoare Logic. RelMiCS 2000: 195-202 - Yoshihiro Mizoguchi, Pericles Loucopoulos:
Formalizing the Definition and Evolution of Models in a Repository using the Relational Graph Expressions. RelMiCS 2000: 203-209 - Jacques Riguet:
Generating and extending relational algebra by relational generators. RelMiCS 2000: 211-216 - Yahya Slimani, Soulimane Mammar:
Relational Petri Nets: a new class of high-level Petri nets. RelMiCS 2000: 217-222 - Fairouz Tchier:
Semantique relationnelle demoniaque des diagrammes composes. RelMiCS 2000: 223-231 - Michael Winter:
An Algebraic Formalisation of L-Fuzzy Relations. RelMiCS 2000: 233-242
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-20 21:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: