机译:关系代数与关联逻辑
School of Computer Science and Information Systems, Birkbeck College, University of London, Malet Street, London WC1E 7HX, UK;
relevance logic; completeness; de morgan monoids; relation algebras; finite axiomatizability;
机译:与关系之间的两个可变逻辑的代数决策过程
机译:关于并行分离逻辑与并行Kleene代数的关系
机译:函数依赖的“ Hoare逻辑”的关系代数方法
机译:关联逻辑与不合理推理之间的关系
机译:严谨性和关联性的制度逻辑:严密性关联关系及其对管理研究合法性的影响
机译:基于可重构逻辑的新型低成本体系结构的实时代数导数估计
机译:关系代数与关联逻辑
机译:带守卫的过程代数:将Hoare逻辑与过程代数相结合