机译:关于置换代数,(滑轮)和命名集
Department of Computer Science, University of Pisa, largo Pontecorvo 3c, 56127 Pisa, Italy;
nominal calculi; permutation algebras; presheaf categories; named sets;
机译:模糊集和滑轮。第二部分:模糊集理论的Sheaf理论基础及其在代数和拓扑中的应用
机译:谓词代数集理论的各个方面III:滑轮
机译:谓词代数集理论的各个方面III:滑轮
机译:在稳定滑轮的Moduli空间的同源群中的谎言代数的动作
机译:用于堆叠相干滑轮的代数定理
机译:公开命名FMRI预先和TMS:两种非流动性患者有和没有改进的命名后
机译:关于置换代数,(滑轮)和命名集