BibTeX record conf/birthday/ChoffrutG15

• > Home > conf/birthday/ChoffrutG15

@inproceedings{DBLP:conf/birthday/ChoffrutG15,
  author       = {Christian Choffrut and
                  Serge Grigorieff},
  editor       = {Lev D. Beklemishev and
                  Andreas Blass and
                  Nachum Dershowitz and
                  Bernd Finkbeiner and
                  Wolfram Schulte},
  title        = {Monadic Theory of a Linear Order Versus the Theory of its Subsets
                  with the Lifted Min/Max Operations},
  booktitle    = {Fields of Logic and Computation {II} - Essays Dedicated to Yuri Gurevich
                  on the Occasion of His 75th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {9300},
  pages        = {109--128},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-23534-9\_6},
  doi          = {10.1007/978-3-319-23534-9\_6},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/ChoffrutG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}