Search dblp for Publications

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

 download as .bib file

@incollection{DBLP:conf/RelMiCS/BerghammerSW03,
  author       = {Rudolf Berghammer and
                  Gunther Schmidt and
                  Michael Winter},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {RelView and Rath - Two Systems for Dealing with Relations},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {1--16},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_1},
  doi          = {10.1007/978-3-540-24615-2\_1},
  timestamp    = {Sun, 02 Oct 2022 15:53:27 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/BerghammerSW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/Buszkowski03,
  author       = {Wojciech Buszkowski},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Relational Models of Lambek Logics},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {196--213},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_9},
  doi          = {10.1007/978-3-540-24615-2\_9},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Buszkowski03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/CaianielloCO03,
  author       = {Pasquale Caianiello and
                  Stefania Costantini and
                  Eugenio G. Omodeo},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {An Environment for Specifying Properties of Dyadic Relations and Reasoning
                  about Them: {I:} Language Extension Mechanisms},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {87--106},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_5},
  doi          = {10.1007/978-3-540-24615-2\_5},
  timestamp    = {Thu, 23 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/CaianielloCO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/Cao-VanB03,
  author       = {Kim Cao{-}Van and
                  Bernard De Baets},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Consistent Representation of Rankings},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {107--123},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_6},
  doi          = {10.1007/978-3-540-24615-2\_6},
  timestamp    = {Thu, 23 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Cao-VanB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/DuntschG03,
  author       = {Ivo D{\"{u}}ntsch and
                  G{\"{u}}nther Gediga},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Approximation Operators in Qualitative Data Analysis},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {214--230},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_10},
  doi          = {10.1007/978-3-540-24615-2\_10},
  timestamp    = {Thu, 23 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/DuntschG03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/DuntschOR03,
  author       = {Ivo D{\"{u}}ntsch and
                  Ewa Orlowska and
                  Anna Maria Radzikowska},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Lattice-Based Relation Algebras and Their Representability},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {231--255},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_11},
  doi          = {10.1007/978-3-540-24615-2\_11},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/DuntschOR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/HajekHR03,
  author       = {Petr H{\'{a}}jek and
                  Martin Holena and
                  Jan Rauch},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {The {GUHA} Method and Foundations of (Relational) Data Mining},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {17--37},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_2},
  doi          = {10.1007/978-3-540-24615-2\_2},
  timestamp    = {Thu, 23 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/HajekHR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/Rewitzky03,
  author       = {Ingrid Rewitzky},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Binary Multirelations},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {256--271},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_12},
  doi          = {10.1007/978-3-540-24615-2\_12},
  timestamp    = {Thu, 23 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Rewitzky03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/Rusinowska03,
  author       = {Agnieszka Rusinowska},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Axiomatic and Strategic Approaches to Bargaining Problems},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {124--146},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_7},
  doi          = {10.1007/978-3-540-24615-2\_7},
  timestamp    = {Thu, 23 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Rusinowska03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/Schmidt03,
  author       = {Gunther Schmidt},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Theory Extraction in Relational Data Analysis},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {68--86},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_4},
  doi          = {10.1007/978-3-540-24615-2\_4},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/Schmidt03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/SchmidtH03,
  author       = {Renate A. Schmidt and
                  Ullrich Hustadt},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Mechanised Reasoning and Model Generation for Extended Modal Logics},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {38--67},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_3},
  doi          = {10.1007/978-3-540-24615-2\_3},
  timestamp    = {Thu, 23 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/SchmidtH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/RelMiCS/SwartDHK03,
  author       = {Harrie C. M. de Swart and
                  Ad van Deemen and
                  Eliora van der Hout and
                  Peter Kop},
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Categoric and Ordinal Voting: An Overview},
  booktitle    = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  pages        = {147--195},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-24615-2\_8},
  doi          = {10.1007/978-3-540-24615-2\_8},
  timestamp    = {Thu, 23 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/SwartDHK03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:conf/RelMiCS/2003,
  editor       = {Harrie C. M. de Swart and
                  Ewa Orlowska and
                  Gunther Schmidt and
                  Marc Roubens},
  title        = {Theory and Applications of Relational Structures as Knowledge Instruments,
                  {COST} Action 274, TARSKI, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2929},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b94817},
  doi          = {10.1007/B94817},
  isbn         = {3-540-20780-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/2003.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.