机译:基于完全剩余格值逻辑的自动机理论:归约和最小化
机译:Kripke-Joyal语义的归约定理:强迫任意类别总是可以通过强迫整个Heyting代数来代替
机译:Kripke-Joyal语义的归约定理:强迫任意类别总是可以通过强迫整个Heyting代数来代替
机译:自动机,Tableeaus和缩小定理在任意完整格子中的Fixpoint Calmuli
机译:完备定理和计算机程序,用于寻找从给定轴可推导的定理
机译:对流驱动凝固的并行元胞自动机格子Boltzmann方法
机译:Kripke-Joyal语义的归约定理:强制一个完整类别的Heyting代数始终可以替换强制一个任意类别
机译:走向自动机的同调代数I:1。抽象自动机类别的表示和完备性定理