University Politehnica of Bucharest, Romania;
University of Leicester, UK;
Faculty of Electrical Engineering, Czech Technical University in Prague, Czech Republic;
coalgebraic logic; duality; positive modal logic;
机译:代数逻辑的正片段
机译:积极的代数逻辑的一种制度方法
机译:关于正模态逻辑的统一观点
机译:基地艺术逻辑的正碎片
机译:德语时间语义:三维时态逻辑和GPSG片段。
机译:论积极选择的逻辑
机译:4个逻辑逻辑的正片段
机译:meal机器的代数逻辑与综合