RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Главная страница
О проекте
Программное обеспечение
Классификаторы
Полезные ссылки
Пользовательское
соглашение

Поиск публикаций
Поиск ссылок

RSS
Текущие выпуски
Архивные выпуски
Что такое RSS






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Outst. Contrib. Log., 2018, том 15, страницы 61–70 (Mi ocl1)  

A note on strictly positive logics and word rewriting systems

Lev Beklemishevabc

a Steklov Mathematical Institute, RAS, Moscow, Russia
b Moscow M.V. Lomonosov State University, Moscow, Russia
c National Research University Higher School of Economics, Moscow, Russia

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 15–01–09218a
The investigation presented in this article was supported by Russian Foundation for Basic Research project No. 15–01–09218a and by the Presidential council for support of leading scientific schools.


DOI: https://doi.org/10.1007/978-3-319-69917-2_4


Тип публикации: Статья
Язык публикации: английский

Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/ocl1

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Просмотров:
    Эта страница:10

     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2018