Fakultaet fuer Ingenieurwissenschaften und Informatik Universitaet Ulm, Germany;
机译:存在量词的析取数据日志:语义,可判定性和复杂性问题
机译:存在量化布尔公式的电路复杂度上限
机译:卡斯提洛-格朗模拟算子与RK3时间离散相结合的稳定性和性能分析
机译:CHR求解器的复杂性,用于树木上方程式的相结合
机译:通过一步法求解非线性微分方程:全局误差范围和复杂性分析。
机译:为错树错过树林:关于定义复杂问题解决方案的复杂性的困难
机译:CHR求解器的复杂性,用于树上方程的存在量化连词
机译:用牛顿法求解算子方程起点的复杂性。