BibTeX record conf/stoc/Gutierrez00

download as .bib file

@inproceedings{DBLP:conf/stoc/Gutierrez00,
  author       = {Claudio Gutierrez},
  editor       = {F. Frances Yao and
                  Eugene M. Luks},
  title        = {Satisfiability of equations in free groups is in {PSPACE}},
  booktitle    = {Proceedings of the Thirty-Second Annual {ACM} Symposium on Theory
                  of Computing, May 21-23, 2000, Portland, OR, {USA}},
  pages        = {21--27},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/335305.335308},
  doi          = {10.1145/335305.335308},
  timestamp    = {Thu, 10 Nov 2022 07:36:26 +0100},
  biburl       = {https://dblp.org/rec/conf/stoc/Gutierrez00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics