Search dblp for Publications

export results for "toc:db/conf/RelMiCS/RelMiCS2000.bht:"

 download as .bib file

@inproceedings{DBLP:conf/RelMiCS/AmmariM00,
  author       = {Habib Ammari and
                  Ali Mili},
  editor       = {Jules Desharnais},
  title        = {Lattice Based Distances},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {1--10},
  year         = {2000},
  timestamp    = {Wed, 31 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/AmmariM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/BerghammerH00,
  author       = {Rudolf Berghammer and
                  Thorsten Hoffmann},
  editor       = {Jules Desharnais},
  title        = {Relational Depth-First-Search with Applications},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {11--20},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BerghammerH00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Bottner00,
  author       = {Michael B{\"{o}}ttner},
  editor       = {Jules Desharnais},
  title        = {Multigrade Extension of Relational Grammar},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {21--30},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Bottner00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Chetcuti-SperandioC00,
  author       = {Nathalie Chetcuti{-}Sperandio and
                  Luis Fari{\~{n}}as del Cerro},
  editor       = {Jules Desharnais},
  title        = {A Decision Method for Duration Calculus},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {31--44},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Chetcuti-SperandioC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/CortadellaV00,
  author       = {Jordi Cortadella and
                  Gabriel Valiente},
  editor       = {Jules Desharnais},
  title        = {A Relational View of Subgraph Isomorphism},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {45--54},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/CortadellaV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/DesharnaisM00,
  author       = {Jules Desharnais and
                  Bernhard M{\"{o}}ller},
  editor       = {Jules Desharnais},
  title        = {Characterizing Functions in Kleene Algebras},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {55--64},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/DesharnaisM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/DuntschOW00,
  author       = {Ivo D{\"{u}}ntsch and
                  Ewa Orlowska and
                  Hui Wang},
  editor       = {Jules Desharnais},
  title        = {An Algebraic and Logical Approach to the Approximation of Regions},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {65--74},
  year         = {2000},
  timestamp    = {Thu, 24 Feb 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/DuntschOW00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/FriasBC00,
  author       = {Marcelo F. Frias and
                  Gabriel Baum and
                  Esteban de la Canal},
  editor       = {Jules Desharnais},
  title        = {How to say Greedy in Fork Algebras},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {75--84},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/FriasBC00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Gonzelia00,
  author       = {Carlos Gonzal{\'{\i}}a},
  editor       = {Jules Desharnais},
  title        = {The Allegory of E-Relations in Constructive Type Theory},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {85--94},
  year         = {2000},
  timestamp    = {Tue, 21 Mar 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Gonzelia00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Gordeev00,
  author       = {Lew Gordeev},
  editor       = {Jules Desharnais},
  title        = {Combinatorial Principles Relevant to Finite Variable Logic},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {95--111},
  year         = {2000},
  timestamp    = {Wed, 24 Sep 2003 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Gordeev00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/JamisonN00,
  author       = {Robert E. Jamison and
                  Beth Novick},
  editor       = {Jules Desharnais},
  title        = {On a Contraction-Expansion Closure in Graphs},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {113--119},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/JamisonN00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/JamisonP00,
  author       = {Robert E. Jamison and
                  John L. Pfaltz},
  editor       = {Jules Desharnais},
  title        = {Closure Systems and their Structure},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {121--132},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/JamisonP00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/JanickiK00,
  author       = {Ryszard Janicki and
                  Ridha Kh{\'{e}}dri},
  editor       = {Jules Desharnais},
  title        = {Remarks on Mereology of Relations},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {133--140},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/JanickiK00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/JaouaAEY00,
  author       = {Ali Jaoua and
                  Faisal Alvi and
                  Samir Elloumi and
                  Sadok Ben Yahia},
  editor       = {Jules Desharnais},
  title        = {Galois Connection in Fuzzy Binary Relations, Applications for Discovering
                  Association Rules and Decision Making},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {141--149},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/JaouaAEY00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Jipsen00,
  author       = {Peter Jipsen},
  editor       = {Jules Desharnais},
  title        = {Some Results about Complex Algebras of Algebras},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {151--156},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Jipsen00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/JurrjusS00,
  author       = {Nerman Jurrjus and
                  Harrie C. M. de Swart},
  editor       = {Jules Desharnais},
  title        = {Implication-with-possible-exceptions},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {157--163},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/JurrjusS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Kahl00,
  author       = {Wolfram Kahl},
  editor       = {Jules Desharnais},
  title        = {Unsharp Demonic Products and Stratified Term Graphs},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {165--174},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Kahl00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/KawaharaF00,
  author       = {Yasuo Kawahara and
                  Hitoshi Furusawa},
  editor       = {Jules Desharnais},
  title        = {Crispness in Dedekind Categories},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {175--184},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/KawaharaF00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/KawaharaO00,
  author       = {Yasuo Kawahara and
                  Hitomi Ohkuma},
  editor       = {Jules Desharnais},
  title        = {Relational Aspects of Relational Database Dependencies},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {185--194},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/KawaharaO00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/KozenT00,
  author       = {Dexter Kozen and
                  Jerzy Tiuryn},
  editor       = {Jules Desharnais},
  title        = {On the Completeness of Propositional Hoare Logic},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {195--202},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/KozenT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/MizoguchiL00,
  author       = {Yoshihiro Mizoguchi and
                  Pericles Loucopoulos},
  editor       = {Jules Desharnais},
  title        = {Formalizing the Definition and Evolution of Models in a Repository
                  using the Relational Graph Expressions},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {203--209},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/MizoguchiL00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Riguet00,
  author       = {Jacques Riguet},
  editor       = {Jules Desharnais},
  title        = {Generating and extending relational algebra by relational generators},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {211--216},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Riguet00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/SlimaniM00,
  author       = {Yahya Slimani and
                  Soulimane Mammar},
  editor       = {Jules Desharnais},
  title        = {Relational Petri Nets: a new class of high-level Petri nets},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {217--222},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/SlimaniM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Tchier00,
  author       = {Fairouz Tchier},
  editor       = {Jules Desharnais},
  title        = {Semantique relationnelle demoniaque des diagrammes composes},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {223--231},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Tchier00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/RelMiCS/Winter00,
  author       = {Michael Winter},
  editor       = {Jules Desharnais},
  title        = {An Algebraic Formalisation of L-Fuzzy Relations},
  booktitle    = {Participants Copies of Fifth International Seminar on Relational Methods
                  in Computer Science,January 9-14, 2000, Valcartier (Quebec), Canada},
  pages        = {233--242},
  year         = {2000},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Winter00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@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},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.