Technische Universitaet Dresden Fakultaet Mathematik und Naturwissenschaften, Institut fuer Algebra D-01062 Dresden, Germany;
机译:Peircean三元逻辑的应用:建模模糊性
机译:PEIRCEAN三元逻辑的应用:模糊模糊
机译:Peelcean符号学和主题索引:投机语法和纯逻辑的贡献
机译:Teridentity和Peircean代数逻辑
机译:三元MAX-MIN代数,具有可逆逻辑合成的应用
机译:基于可重构逻辑的新型低成本体系结构的实时代数导数估计
机译:Peircean代数逻辑的价方面
机译:带守卫的过程代数:将Hoare逻辑与过程代数相结合