Theorems; Semantics; Completeness; Conservation;
机译:具有不等式的过程代数的一般守恒扩展定理
机译:格序模态代数及其公理扩展的表示定理
机译:有限域上二维矢量空间中代数曲线的尖锐扩展定理和Falconer距离问题
机译:在夹子代数中的参数占用的单一函数的扩展定理
机译:对拓扑,代数几何和表示理论的三个贡献:阿贝尔封面的同调有限性,代数椭圆同调理论和椭圆环境中的一峰定理。
机译:不自反关系的解的扩展定理
机译:具有不等式的过程代数中的一个广义保守推广定理。
机译:具有不等式的过程代数中的一般守恒推广定理