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:
Document Type:
Article
Language: English
Linking options:
https://www.mathnet.ru/eng/stlog2
This publication is cited in the following 16 articles:
Contact us: