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

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

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






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


J. Logic Comput., 2014, том 24, выпуск 1, страницы 257–282 (Mi jlc1)  

Propositional primal logic with disjunction

L. Beklemisheva, Yu. Gurevichb

a Steklov Mathematical Institute, Gubkina str. 8, Moscow, Russia
b Microsoft Research, One Microsoft Way, Redmond, USA

Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований
Swiss National Science Foundation
Microsoft DKAL
Supported by Microsoft project DKAL, Russian Found. for Basic Research and Swiss-Russian coop. program STCP-CH-RU, project 'Computational proof theory'.


DOI: https://doi.org/10.1093/logcom/exs018


Реферативные базы данных:

Тип публикации: Статья
Поступила в редакцию: 30.05.2011
Язык публикации: английский

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

    ОТПРАВИТЬ: 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
  • Просмотров:
    Эта страница:39

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