机译:Stone空间上的余数代数的双仿真
Stockholm Univ, Dept Philosophy, Univ Vagen 10 D, Stockholm, Sweden;
Univ Amsterdam, Computat Sci Lab, Sci Pk 904, NL-1098 XH Amsterdam, Netherlands;
机译:(公制)双仿真游戏和实值模态逻辑
机译:关于基于路径的代数和双仿真的弱概念
机译:基于路径的规范语言中多项式代数的双仿真证明方法
机译:有序函子上的代数的弱双仿真
机译:在石头上凝固的嵌合体:西奥菲勒·高铁(Theophile Gautier)作品中的幻想空间。
机译:微型计算机在医院感染监测中的应用:从石器时代到太空时代
机译:在富含秩序的混合物上对金属的微弱模拟
机译:Coiterative morphisms:使用Coalgebras进行互模拟的互动等式推理