Journal of Mathematical Logic. 2011;11(1):11-27. doi: 10.1142/S0219061311000979 Q10.92025

ON THE PROOF COMPLEXITY OF THE NISAN–WIGDERSON GENERATOR BASED ON A HARD NP ∩ coNP FUNCTION

KRAJÍČEK, JAN

DOI: 10.1142/S0219061311000979

期刊名：Journal of mathematical logic

缩写：J MATH LOG

ISSN：0219-0613

e-ISSN：1793-6691

IF/分区：0.9/Q1

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：