The provably total NP search problems of weak second order bounded arithmetic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

The provably total NP search problems of weak second order bounded arithmetic

Authors:	Leszek Aleksander Ko?odziejczyk Neil Thapen

Institution:	^a Institute of Mathematics, University of Warsaw, Banacha 2, 02-097 Warszawa, Poland ^b Institute of Mathematics, Academy of Sciences of the Czech Republic, ?itná 25, CZ-115 67 Praha 1, Czech Republic

Abstract:

Keywords:	03F30 68Q15 03F20
本文献已被 ScienceDirect 等数据库收录！