编辑配置文件（在新选项卡中打开） 吕克·克莱森 合著者距离 作者ID： 克莱森·卢克 发布日期： 克莱森，L。;吕克·克莱森 已编制索引的文档： 8出版物自1983年以来 1名编辑贡献 合著者： 13合著者具有8联合出版物 199位合作作者 全部的 前5名合著者 0 单作者的 4 德曼，H。 4 迪德里克·维凯斯特 三 Catia M.安吉洛。 三 雨果·德曼。 1 多米尼克·博里奥内 1 汉斯·伊夫金 1 基诺，马克 1 乔治·米尔恩。 1 Jean-Luc Paillet女士 1 保罗·普里内托 1 Proesmans，弗兰克 1 Joos P.范德维尔。 1 埃里克·弗林德 系列 三 系统设计中的形式化方法 1 国际电路理论与应用杂志 领域 8 计算机科学（68至XX） 6 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物具有被引用1中的时间1文件 引用人▼ 年份▼ 非存储除法算法的证明及其在ALU上的实现。 Zbl 0788.68070号 维凯斯特，D。;克莱森，L。;德曼，H。 1 1994 非存储除法算法的证明及其在ALU上的实现。 Zbl 0788.68070号 维凯斯特，D。;克莱森，L。;德曼，H。 1 1994 2位作者引用 1 克里斯托弗·伯格 1 克里斯蒂安·雅各比 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文