IWIL@LPAR 2012年:委内瑞拉梅里达
康斯坦丁柯罗文 , 斯蒂芬·舒尔茨 , 尤金妮娅·特诺夫斯卡 :
IWIL 2012:第九届物流实施国际研讨会,委内瑞拉梅里达,2012年3月10日。 EPiC计算系列 22, Easy椅子 2013 尼古拉·比约纳 :
工程理论与Z3。 1-2 菲利普·吕默 :
整数的克雷格插值:结果、实现和经验。 三 比亚恩·霍伦 , 达格·霍夫兰 , 马丁·吉斯 :
Hyper-Tableaux的高效规则匹配。 4-17 延斯·奥顿 :
实现一阶模态逻辑的连接计算。 18-32 Nik Sultana公司 , 克里斯托夫·本兹穆勒 :
理解LEO-II的证明。 33-52