BibTeX records: Vera Stebletsova

download as .bib file

@article{DBLP:journals/jsyml/StebletsovaV01,
  author    = {Vera Stebletsova and
               Yde Venema},
  title     = {Undecidable Theories of Lyndon Algebras},
  journal   = {J. Symb. Log.},
  volume    = {66},
  number    = {1},
  pages     = {207--224},
  year      = {2001},
  url       = {https://doi.org/10.2307/2694918},
  doi       = {10.2307/2694918},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jsyml/StebletsovaV01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sLogica/Stebletsova00,
  author    = {Vera Stebletsova},
  title     = {Weakly Associative Relation Algebras with Polyadic Composition Operations},
  journal   = {Studia Logica},
  volume    = {66},
  number    = {2},
  pages     = {297--323},
  year      = {2000},
  url       = {https://doi.org/10.1023/A:1005204532371},
  doi       = {10.1023/A:1005204532371},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/sLogica/Stebletsova00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/StebletsovaV97,
  author    = {Vera Stebletsova and
               Yde Venema},
  title     = {Axioms for Jonsson's Q-Algebras},
  booktitle = {Participants Copies of Third International Seminar on the Use of Relational
               Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia},
  pages     = {215--224},
  year      = {1997},
  crossref  = {DBLP:conf/RelMiCS/1997},
  timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/RelMiCS/StebletsovaV97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/Stebletsova97,
  author    = {Vera Stebletsova},
  title     = {Weakly Assoclative Relation Algebras with Polyadic Compositlons},
  booktitle = {Participants Copies of Third International Seminar on the Use of Relational
               Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia},
  pages     = {369--375},
  year      = {1997},
  crossref  = {DBLP:conf/RelMiCS/1997},
  timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/RelMiCS/Stebletsova97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/BenthemES94,
  author    = {Johan van Benthem and
               Jan van Eijck and
               Vera Stebletsova},
  title     = {Modal Logic, Transition Systems and Processes},
  journal   = {J. Log. Comput.},
  volume    = {4},
  number    = {5},
  pages     = {811--855},
  year      = {1994},
  url       = {https://doi.org/10.1093/logcom/4.5.811},
  doi       = {10.1093/logcom/4.5.811},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/logcom/BenthemES94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/RelMiCS/1997,
  title     = {Participants Copies of Third International Seminar on the Use of Relational
               Methods in Computer Science, January 6-10, 1997, Hammamet, Tunisia},
  year      = {1997},
  timestamp = {Thu, 03 Jan 2002 12:07:55 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/RelMiCS/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier