BibTeX record journals/siamcomp/LevySV08

download as .bib file

@article{DBLP:journals/siamcomp/LevySV08,
  author       = {Jordi Levy and
                  Manfred Schmidt{-}Schau{\ss} and
                  Mateu Villaret},
  title        = {The Complexity of Monadic Second-Order Unification},
  journal      = {{SIAM} J. Comput.},
  volume       = {38},
  number       = {3},
  pages        = {1113--1140},
  year         = {2008},
  url          = {https://doi.org/10.1137/050645403},
  doi          = {10.1137/050645403},
  timestamp    = {Thu, 08 Jun 2017 08:59:24 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/LevySV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics