编辑配置文件（在新选项卡中打开） 亚历山大·冯·莱恩 合著者距离 作者ID： 冯·莱茵·亚历山大 发布日期： 亚历山大·冯·莱恩 已编制索引的文档： 1出版物自2016年起 合著者： 4位合著者具有1联合出版物 49位合作作者 合著者 0 单作者的 1 斯文·阿佩尔 1 约格·利比希 1 伊娜·谢弗 1 托马斯·图姆 系列 1 程序设计中的逻辑与代数方法杂志 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物已被引用1中的时间1文件 引用人▼ 年份▼ 可变编码：从编译时到加载时的可变。 兹比尔1346.68057 亚历山大·冯·莱恩;托马斯·图姆;伊娜·谢弗;约尔格·利比希;斯文·阿佩尔 1 2016 可变编码：从编译时到加载时的可变。 Zbl 1346.68057号 亚历山大·冯·莱恩;托马斯·图姆;伊娜·谢弗;约格·利比希;斯文·阿佩尔 1 2016 1位作者引用 1 阿列克桑达尔·迪莫夫斯基。 连载1篇 1 理论计算机科学 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文