Citations (16)

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

Funding agency	Grant number
Russian Foundation for Basic Research
Generalitat de Catalunya	2009SGR-1433
Ministerio de Ciencia e Innovación de España	MTM2011-26840 MTM2011-25747
Ministry of Education and Science of the Russian Federation
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.

Received: 19.10.2012

Bibliographic databases:

Linking options:

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

This publication is cited in the following 16 articles:

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