The Australian National University (Australia).;
机译:与一阶单声道ω-逻辑,命题线性时间时序逻辑,命题广义定义反射逻辑和命题不定式逻辑相关
机译:一阶逻辑扩展的有限域和符号推理方法
机译:论Herbrand建构逻辑的自然演绎II:一阶逻辑和算术中马尔可夫原理的库里·霍华德对应
机译:一阶线性时间逻辑中的有限域
机译:有限词的一阶逻辑的表达性和简洁性。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:关于一阶线性时态逻辑的有限域