Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana IL 61801;
Department of Computer Science, University of Illinois at Urbana-Champaign, Urbana IL 61801;
机译:带有索引谓词的谓词抽象
机译:从具有闭合谓词的表达性描述逻辑到Datalog变体的多项式重写
机译:来自截障描述逻辑的多项式重写,封闭谓词对Datalog的变体
机译:重写理论的谓词抽象
机译:使用决策程序和谓词抽象进行无限制的系统验证。
机译:生物医学中的抽象和理想化:急性细胞损伤的非自治理论
机译:在重写第一阶理论中的无限和正常形式的正式证明