...
机译:一阶逻辑:一些特征和闭包特性
LIAFA, UMR 7089, 175 Rue du Chevaleret, Paris 13, France;
Institut fur Informatik, Universitat Giessen, Arndtstr. 2, 35392 Giessen, Germany;
Dipartimento di Informatica, Universita degli Studi di Milano, via Comelico 39/41,20135 Milano, Italy;
Dipartimento di Informatica, Universita degli Studi di Milano, via Comelico 39/41,20135 Milano, Italy;
机译:程序属性的一阶逻辑表征
机译:等价关闭的二阶一阶逻辑
机译:带有嵌套小卵石的自动机通过传递闭包捕获一阶逻辑
机译:等价闭包的二变量一阶逻辑
机译:一阶逻辑及其扩展表明的问题的细粒度复杂性
机译:数学模糊逻辑中一阶结构类的句法表征
机译:一阶逻辑:一些特征和闭包属性
机译:一阶谓词逻辑模型理论及相关时态逻辑