24 citations to https://www.mathnet.ru/rus/mzm10442
  1. D. Shamkanov, “Global neighbourhood completeness of the Gödel-Lob provability logic”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer International Publishing Ag, 2017, 358–370  crossref  mathscinet  zmath  isi  scopus
  2. Bahareh Afshari, Graham E. Leigh, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, 1  crossref
  3. Д. С. Шамканов, “Теорема о реализации для логики доказуемости Гёделя–Лёба”, Матем. сб., 207:9 (2016), 171–190  mathnet  crossref  mathscinet  zmath  adsnasa  elib; D. S. Shamkanov, “A realization theorem for the Gödel-Löb provability logic”, Sb. Math., 207:9 (2016), 1344–1360  crossref  isi  elib
  4. С. Л. Кузнецов, “О преобразовании грамматик Ламбека с одним делением в контекстно-свободные грамматики”, Современные проблемы математики, механики и математической физики. II, Сборник статей, Труды МИАН, 294, МАИК «Наука/Интерпериодика», М., 2016, 141–151  mathnet  crossref  mathscinet  elib; S. L. Kuznetsov, “On translating Lambek grammars with one division into context-free grammars”, Proc. Steklov Inst. Math., 294 (2016), 129–138  crossref  isi  elib
Предыдущая
1
2
3