机译:具有不等式的过程代数的一般守恒扩展定理
Bisimulation; Completeness; Concurrency; Iteration; System;
机译:具有不等式的过程代数的一般守恒扩展定理
机译:格序模态代数及其公理扩展的表示定理
机译:有限域上二维矢量空间中代数曲线的尖锐扩展定理和Falconer距离问题
机译:在夹子代数中的参数占用的单一函数的扩展定理
机译:扩展定理和极小极大不等式在数学经济学中的应用。
机译:映射的一些固定点定理令人满意的应用程序令人理解不等式与应用程序的模块化空间
机译:具有不等式的过程代数中的一个广义保守推广定理。
机译:具有不等式的过程代数中的一般守恒推广定理