Lehrstuhl fuer Informatik IV, Universitaet Wuerzburg, Am Hubland, 97074 Wuerzburg, Germany;
机译:不相交的NP对和命题证明系统
机译:NP完整性,证明系统和不相交的NP-对
机译:每个NP集的P最优证明系统,但没有相对于Oracle的完全不相交的NP对
机译:规范不相交的命题证明系统
机译:不相交的NP对的结构性质和随机预言模型。
机译:使用带有离散集数据结构的线性系统从缺少数据的谱系获得有效的单型推断
机译:规范不相交的Np对命题证明系统