Список цитирования (15)

DOI: https://doi.org/10.1007/s11225-013-9490-7

Финансовая поддержка	Номер гранта
Российский фонд фундаментальных исследований
Generalitat de Catalunya	2009SGR-1433
Ministerio de Ciencia e Innovación de España	MTM2011-26840 MTM2011-25747
Министерство образования и науки Российской Федерации
The first author was supported by the Russian Foundation for Basic Research (RFBR), the Presidential council for support of leading scientific schools, and the Swiss-Russian cooperation project STCP-CH-RU "Computational proof theory". The third author received support from the Generalitat de Catalunya under Grant Number 2009SGR-1433 and from the Spanish Ministry of Science and Education under Grant Numbers MTM2011-26840, and MTM2011-25747.

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

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

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

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

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

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