...
机译:通过近似定点理论分析抽象辩证框架的计算复杂性
Computer Science Institute, Leipzig University, Augustusplatz 10, 04109 Leipzig, Germany;
Institute of Information Systems, Vienna University of Technology, Favoritenstrasse 9-11, 1040 Vienna, Austria;
Abstract dialectical frameworks; Computational complexity; Approximation fixpoint theory;
机译:论抽象辩证框架的分解及基于Naive型语义的复杂性
机译:在抽象的辩证框架中实例化基于规则的可废除理论
机译:从抽象原则到特定的城市秩序:运用复杂性理论分析以色列的阿拉伯巴勒斯坦城镇
机译:通过近似固定点论分析抽象辩证框架的计算复杂性
机译:随机相位近似加速密度函数理论的相关能量计算
机译:使用计算量度预测抽象图案的视觉复杂度:镜面对称性对复杂度感知的影响
机译:基于子类复杂性分析的抽象辩证框架新颖算法及SAT解决