ILLC University of Amsterdam Amsterdam The Netherlands;
University of California Berkeley USA;
机译:拓扑对偶性在代数多值逻辑测度理论中的应用
机译:推理性逻辑满足疑问性语义
机译:疑问内容语义处理的代数基础
机译:通过自由选择的二元性出于好奇逻辑的代数和拓扑语义
机译:逻辑编程语义的拓扑特征。
机译:基于可重构逻辑的新型低成本体系结构的实时代数导数估计
机译:通过自由选择的二元性出于好奇逻辑的代数和拓扑语义