Search dblp for Publications

• > Home > Search

@incollection{DBLP:books/cu/11/000111,
  author       = {Martin Otto},
  editor       = {Javier Esparza and
                  Christian Michaux and
                  Charles Steinhorn},
  title        = {Model theoretic methods for fragments of {FO} and special classes
                  of (finite) structures},
  booktitle    = {Finite and Algorithmic Model Theory},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {379},
  pages        = {271},
  publisher    = {Cambridge University Press},
  year         = {2011},
  timestamp    = {Fri, 15 May 2020 15:30:10 +0200},
  biburl       = {https://dblp.org/rec/books/cu/11/000111.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/11/BaranyGR11,
  author       = {Vince B{\'{a}}r{\'{a}}ny and
                  Erich Gr{\"{a}}del and
                  Sasha Rubin},
  editor       = {Javier Esparza and
                  Christian Michaux and
                  Charles Steinhorn},
  title        = {Automata-based presentations of infinite structures},
  booktitle    = {Finite and Algorithmic Model Theory},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {379},
  pages        = {1--76},
  publisher    = {Cambridge University Press},
  year         = {2011},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/11/BaranyGR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/11/Koponen11,
  author       = {Vera Koponen},
  editor       = {Javier Esparza and
                  Christian Michaux and
                  Charles Steinhorn},
  title        = {Some connections between finite and infinite model theory},
  booktitle    = {Finite and Algorithmic Model Theory},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {379},
  pages        = {109--139},
  publisher    = {Cambridge University Press},
  year         = {2011},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/11/Koponen11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/11/Kreutzer11,
  author       = {Stephan Kreutzer},
  editor       = {Javier Esparza and
                  Christian Michaux and
                  Charles Steinhorn},
  title        = {Algorithmic meta-theorems},
  booktitle    = {Finite and Algorithmic Model Theory},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {379},
  pages        = {177--270},
  publisher    = {Cambridge University Press},
  year         = {2011},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/11/Kreutzer11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/11/KuijpersB11,
  author       = {Bart Kuijpers and
                  Jan Van den Bussche},
  editor       = {Javier Esparza and
                  Christian Michaux and
                  Charles Steinhorn},
  title        = {Logical aspects of spatial databases},
  booktitle    = {Finite and Algorithmic Model Theory},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {379},
  pages        = {77--108},
  publisher    = {Cambridge University Press},
  year         = {2011},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/11/KuijpersB11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:books/cu/11/MacphersonS11,
  author       = {Dugald Macpherson and
                  Charles Steinhorn},
  editor       = {Javier Esparza and
                  Christian Michaux and
                  Charles Steinhorn},
  title        = {Definability in classes of finite structures},
  booktitle    = {Finite and Algorithmic Model Theory},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {379},
  pages        = {140--176},
  publisher    = {Cambridge University Press},
  year         = {2011},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/11/MacphersonS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@book{DBLP:books/cu/11/EMS2011,
  editor       = {Javier Esparza and
                  Christian Michaux and
                  Charles Steinhorn},
  title        = {Finite and Algorithmic Model Theory},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {379},
  publisher    = {Cambridge University Press},
  year         = {2011},
  url          = {http://www.cambridge.org/gb/knowledge/isbn/item5634823},
  isbn         = {978-0-521-71820-2},
  timestamp    = {Fri, 15 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/cu/11/EMS2011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}