Computer Science Department, Indiana University, Bloomington, IN 47405, USA;
dynamic logic; inductive completeness; relative completeness; arith- metical completeness;
机译:动态认知逻辑中的收敛性,连续性,复发性和图灵完整性
机译:差分动态逻辑的完全一致替代演算
机译:分布式混合系统量化微分动态逻辑的完全公理化
机译:混合动力一阶逻辑的Birkhoff完备性
机译:基于大规模并行和流水线忆阻状态IMPLY逻辑的可重构体系结构的完整设计方法论
机译:基于DNAzyme的Toffoli和Fredkin逻辑门证明了逻辑可逆性和热力学不可逆性
机译:差分动态逻辑的完全一致替代演算