Volker Sorge; Andreas Meier; Roy McCasland; Simon Colton
Volker Sorge; Andreas Meier; Roy McCasland; Simon Colton
Tilting at Windmills with Coq: Formal Verification of a Compilation Algorithm for Parallel Moves [0.03%]
与风车搏斗：并行移动编译算法的形式化验证
Laurence Rideau; Bernard Paul Serpette; Xavier Leroy
Laurence Rideau; Bernard Paul Serpette; Xavier Leroy
A Resolution-Based Decision Procedure for(oldsymbol{mathcal{SHOIQ}}) [0.03%]
基于归结的(oldsymbol{mathcal{SHOIQ}})决策过程
Yevgeny Kazakov; Boris Motik
Yevgeny Kazakov; Boris Motik
André Platzer
André Platzer
Data Complexity of Query Answering in Expressive Description Logics via Tableaux [0.03%]
通过表列法研究表达性描述逻辑中查询回答的数据复杂度
Magdalena Ortiz; Diego Calvanese; Thomas Eiter
Magdalena Ortiz; Diego Calvanese; Thomas Eiter
On Keys and Functional Dependencies as First-Class Citizens in Description Logics [0.03%]
在描述逻辑中，键与函数依赖作为一等公民的地位
David Toman; Grant Weddell
David Toman; Grant Weddell
Deepak Kapur
Deepak Kapur
Larry Wos
Larry Wos
Reduction and unification in lambda calculi with a general notion of subtype [0.03%]
带有泛型子类型概念的lambda演算中的约简与统一
Zhenyu Qian; Tobias Nipkow
Zhenyu Qian; Tobias Nipkow