编辑配置文件（在新选项卡中打开） 刘宇大卫 合著者距离 作者ID： 刘玉迪 发布日期： 刘、于大卫 已编制索引的文档： 2出版物自2009年起 合著者： 2合著者具有1联合出版物 18位合作作者 合著者 0 单作者的 1 克里斯蒂安·斯卡尔卡 1 斯科特·史密斯。 系列 1 国际固体与结构杂志 1 高阶和符号计算 领域 1 计算机科学（68至XX） 1 可变形固体力学（74-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物已被引用1中的时间1文件 引用人▼ 年份▼ 具有过程分离的特定类型的阶段式编程。 Zbl 1256.68022号 刘宇大卫;克里斯蒂安·斯卡尔卡;斯科特·史密斯。 1 2011 具有过程分离的特定类型的阶段式编程。 Zbl 1256.68022号 刘宇大卫;克里斯蒂安·斯卡尔卡;斯科特·史密斯。 1 2011 3位作者引用 1 刘宇大卫 1 克里斯蒂安·斯卡尔卡 1 斯科特·史密斯。 连载1篇 1 高阶和符号计算 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文