MIT CSAIL, Cambridge, USA;
机译:用Presburger算法确定布尔代数
机译:关于Presburger算术的可确定扩展:从A. Bertrand计数系统到pisot数字
机译:BEPBURGER谓词的BOOLEAN代数丰富
机译:决定BAPA的算法:BEOLEAN代数与PRESBURGER算术
机译:Presburger算法的计算复杂性
机译:通过哺乳动物细胞中DNA切除的布尔逻辑和算术的单层平台
机译:决定BAPA的算法:具有Presburger算法的布尔代数