...
机译:多项式时间最大化类别:句法层次结构
Instituto de Matematica y Ciencias Afines - IMCA Calle Los Biologos 245, Urb. San Cesar, Primera Etapa Lima 12, Lima, Peru;
descriptive complexity; finite model theory; syntactic hierarchy; optimization; quantifier complexity; quantifier alternation; existential second order logic;
机译:Minimax游戏,旋转眼镜和复杂度类的多项式时间层次
机译:多项式时间随机畸形和分离复杂性等级
机译:完美图的小图类中子图等价的多项式时间算法
机译:计数类至少与多项式时间层次结构一样难
机译:墨西哥西班牙语中的非宾格性和词序:句法界面和不及物动词分割体系的考察
机译:数学模糊逻辑中一阶结构类的句法表征
机译:多项式时间优化类的句法表征 (多项式时间优化类的句法表征)