BibTeX record conf/csr/GlasserHRTW07

download as .bib file

@inproceedings{DBLP:conf/csr/GlasserHRTW07,
  author       = {Christian Gla{\ss}er and
                  Katrin Herr and
                  Christian Reitwie{\ss}ner and
                  Stephen D. Travers and
                  Matthias Waldherr},
  editor       = {Volker Diekert and
                  Mikhail V. Volkov and
                  Andrei Voronkov},
  title        = {Equivalence Problems for Circuits over Sets of Natural Numbers},
  booktitle    = {Computer Science - Theory and Applications, Second International Symposium
                  on Computer Science in Russia, {CSR} 2007, Ekaterinburg, Russia, September
                  3-7, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4649},
  pages        = {127--138},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-74510-5\_15},
  doi          = {10.1007/978-3-540-74510-5\_15},
  timestamp    = {Thu, 09 Nov 2023 20:20:35 +0100},
  biburl       = {https://dblp.org/rec/conf/csr/GlasserHRTW07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics