BibTeX records: Sergei I. Adian

• > Home > Persons > Sergei I. Adian

@article{DBLP:journals/logcom/AdianBV11,
  author       = {Sergei I. Adian and
                  Lev D. Beklemishev and
                  Albert Visser},
  title        = {Proof and Computation},
  journal      = {J. Log. Comput.},
  volume       = {21},
  number       = {4},
  pages        = {541--542},
  year         = {2011},
  url          = {https://doi.org/10.1093/logcom/exp042},
  doi          = {10.1093/LOGCOM/EXP042},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/AdianBV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/logcom/AdianBB05,
  author       = {Sergei I. Adian and
                  Matthias Baaz and
                  Lev D. Beklemishev},
  title        = {Editorial},
  journal      = {J. Log. Comput.},
  volume       = {15},
  number       = {4},
  pages        = {409},
  year         = {2005},
  url          = {https://doi.org/10.1093/logcom/exi036},
  doi          = {10.1093/LOGCOM/EXI036},
  timestamp    = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/AdianBB05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Adian05,
  author       = {Sergei I. Adian},
  title        = {Divisibility problem for one relator monoids},
  journal      = {Theor. Comput. Sci.},
  volume       = {339},
  number       = {1},
  pages        = {3--6},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.01.003},
  doi          = {10.1016/J.TCS.2005.01.003},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Adian05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijac/AdianLM97,
  author       = {Sergei I. Adian and
                  I. G. Lysionok and
                  J. G. Mennicke},
  title        = {Defining Relations and the Algebraic Structure of the Group SL\({}_{\mbox{2}}\)
                  over Integral Hamilton Quaternions},
  journal      = {Int. J. Algebra Comput.},
  volume       = {7},
  number       = {1},
  pages        = {1--24},
  year         = {1997},
  url          = {https://doi.org/10.1142/S0218196797000022},
  doi          = {10.1142/S0218196797000022},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/AdianLM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lfcs/1997,
  editor       = {Sergei I. Adian and
                  Anil Nerode},
  title        = {Logical Foundations of Computer Science, 4th International Symposium,
                  LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1234},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63045-7},
  doi          = {10.1007/3-540-63045-7},
  isbn         = {3-540-63045-7},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lfcs/1997.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rta/Adian93,
  author       = {Sergei I. Adian},
  editor       = {Claude Kirchner},
  title        = {On some Algorithmic Problems for Groups and Monoids},
  booktitle    = {Rewriting Techniques and Applications, 5th International Conference,
                  RTA-93, Montreal, Canada, June 16-18, 1993, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {690},
  pages        = {289--300},
  publisher    = {Springer},
  year         = {1993},
  url          = {https://doi.org/10.1007/978-3-662-21551-7\_22},
  doi          = {10.1007/978-3-662-21551-7\_22},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/rta/Adian93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ijac/AdianM92,
  author       = {Sergei I. Adian and
                  J. G. Mennicke},
  title        = {On Bounded Generation of SL\({}_{\mbox{N}}\)(Z)},
  journal      = {Int. J. Algebra Comput.},
  volume       = {2},
  number       = {4},
  pages        = {357--366},
  year         = {1992},
  url          = {https://doi.org/10.1142/S0218196792000220},
  doi          = {10.1142/S0218196792000220},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijac/AdianM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}