BibTeX record conf/balt/Tammet91

download as .bib file

@incollection{DBLP:conf/balt/Tammet91,
  author    = {Tanel Tammet},
  title     = {Using Resolution for Deciding Solvable Classes and Building Finite
               Models},
  booktitle = {Baltic Computer Science, Selected Papers},
  pages     = {33--64},
  year      = {1991},
  crossref  = {DBLP:conf/balt/1991},
  url       = {https://doi.org/10.1007/BFb0019355},
  doi       = {10.1007/BFb0019355},
  timestamp = {Wed, 31 May 2017 18:27:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/balt/Tammet91},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:conf/balt/1991,
  editor    = {Janis Barzdins and
               Dines Bj{\o}rner},
  title     = {Baltic Computer Science, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {502},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/BFb0019352},
  doi       = {10.1007/BFb0019352},
  isbn      = {3-540-54131-4},
  timestamp = {Wed, 31 May 2017 18:27:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/balt/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier