BibTeX record conf/fct/Makanin85

• > Home > conf/fct/Makanin85

@inproceedings{DBLP:conf/fct/Makanin85,
  author       = {G. S. Makanin},
  editor       = {Lothar Budach},
  title        = {On the decidability of the theory of free groups (in Russian) = {\cyrchar\CYRK}
                  {\cyrchar\CYRV}{\cyrchar\cyro}{\cyrchar\cyrp}{\cyrchar\cyrr}{\cyrchar\cyro}{\cyrchar\cyrs}{\cyrchar\cyru}
                  {\cyrchar\CYRO} {\cyrchar\CYRR}{\cyrchar\cyra}{\cyrchar\cyrerev}{\cyrchar\cyrr}{\cyrchar\cyre}{\cyrchar\cyrshch}{\cyrchar\cyri}{\cyrchar\cyrm}{\cyrchar\cyro}{\cyrchar\cyrs}{\cyrchar\cyrt}{\cyrchar\cyri}
                  {\cyrchar\CYRT}{\cyrchar\cyre}{\cyrchar\cyro}{\cyrchar\cyrr}{\cyrchar\cyri}{\cyrchar\cyri}
                  {\cyrchar\CYRS}{\cyrchar\cyrv}{\cyrchar\cyro}{\cyrchar\cyrb}{\cyrchar\cyro}{\cyrchar\cyrd}{\cyrchar\cyrn}{\cyrchar\cyro}{\cyrchar\cyrishrt}
                  {\cyrchar\CYRG}{\cyrchar\cyrr}{\cyrchar\cyru}{\cyrchar\cyrp}{\cyrchar\cyrp}{\cyrchar\cyrery}},
  booktitle    = {Fundamentals of Computation Theory, {FCT} '85, Cottbus, GDR, September
                  9-13, 1985},
  series       = {Lecture Notes in Computer Science},
  volume       = {199},
  pages        = {279--284},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/BFb0028812},
  doi          = {10.1007/BFB0028812},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Makanin85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}