History of term rewrite theory; Husserl; Hilbert; proof theory; Knuth-Bendix completion;
机译:关于胡塞尔和希尔伯特的完整性和胡塞尔基于术语重写的多重性理论(特邀演讲)
机译:侯塞尔和希尔伯特在完整性上仍然
机译:走向完整:胡塞尔关于歧管理论的研究1890–1901年
机译:Husserl和Hilbert完成完整性和Husserl的重写基于多包的理论(邀请的谈话)
机译:关于胡塞尔和卡维尔的怀疑论,参考托马斯主义的创造论(圣托马斯·阿奎那,埃德蒙·胡塞尔,斯坦利·卡维尔)。
机译:Husserl和Hilbert关于完整性和胡塞尔基于术语重写的多重理论(邀请演讲)
机译:1981年Orbis scientia的宇宙学术语和超对称邀请演讲