L. Beklemishev, Yu. Gurevich, “Propositional primal logic with disjunction”, Journal of Logic and Computation, 2014, том 24, выпуск 1, страницы 257

Journal of Logic and Computation

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	Главная страница
	О проекте
	Программное обеспечение
	Классификаторы
	Полезные ссылки
	Пользовательское соглашение

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

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

Journal of Logic and Computation, 2014, том 24, выпуск 1, страницы 257–282
DOI: https://doi.org/10.1093/logcom/exs018 (Mi jlc1)

Эта публикация цитируется в 15 научных статьях (всего в 15 статьях)

Propositional primal logic with disjunction

L. Beklemishev^a, Yu. Gurevich^b

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

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

Финансовая поддержка	Номер гранта
Российский фонд фундаментальных исследований
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'.

Поступила в редакцию: 30.05.2011

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

Тип публикации: Статья

Язык публикации: английский

Образцы ссылок на эту страницу:

https://www.mathnet.ru/rus/jlc1

Эта публикация цитируется в следующих 15 статьяx:

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Статистика просмотров:
Страница аннотации:	371

Обратная связь: