Institut fuer Informatik, Christian-Albrechts-Universitaet Kiel Olshausenstrasse 40, 24098 Kiel, Germany;
School of Computer Science, University of Manchester Oxford Road, Manchester M13 9PL, United Kingdom;
机译:通过关系代数和RELVIEW工具解决有限拓扑上的计算任务
机译:通过实验热电测量和有限元建模系统研究20至5 nm技术节点对CMOS逻辑晶体管的自热效应
机译:量子逻辑中结果运算(Cn)的模型理论研究:一种代数方法
机译:用关系和relview调查非古典逻辑的有限模型
机译:有限维代数和相关的单项代数的Ext代数的有限生成
机译:对流扩散方程有限元逼近的基于边缘的非线性扩散及其与代数通量校正方案的关系
机译:用关系代数和RelView研究非经典逻辑的有限模型