...
机译:用于有限级别和可变逻辑的鹅卵石COMONAD,以及equirank - 可变同性恋保护定理的应用
Pebble GamesPebbling ComonadFinite Rank logicFinite Variable logicTree-depthTree-width;
机译:同态守恒定理
机译:分类抽象代数逻辑:莱布尼兹等式和同态定理
机译:关于变量有限的一阶逻辑的一个定理
机译:有限模型理论中令人讨厌的东西
机译:弱有限基定理的明确证明及其在椭圆曲线秩计算中的应用。
机译:有限场理论中的一些定理及其在费马最后定理中的应用
机译:有限模型理论中令人讨厌的东西