编辑配置文件（在新选项卡中打开） 阿迪蒂亚·穆拉利 合著者距离 作者ID： 壁画.阿迪提亚 发布日期： 阿迪蒂亚·穆拉利 已编制索引的文档： 2出版物自2020年起 合著者： 6位合著者具有2联合出版物 136位合作作者 全部的 前5名合著者 0 单作者的 2 帕塔萨拉西马杜苏丹 1 保罗·克罗格迈耶 1 克里斯托夫·Löding 1 乌芒·马图尔 1 卢卡斯·佩尼亚 1 马赫什·维斯瓦纳坦 系列 字段 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 具有未解释功能的程序的可决定合成。 Zbl 1478.68055号 保罗·克罗格迈耶;乌芒·马图尔;穆拉利，阿迪蒂亚;马杜苏丹，P。;马赫什·维斯瓦纳坦 三 2020 具有未解释功能的程序的可决定合成。 兹比尔1478.68055 保罗·克罗格迈耶;乌芒·马图尔;阿迪蒂亚·穆拉利;马杜苏丹，P。;马赫什·维斯瓦纳坦 三 2020 全部的 前5名10位作者引用 1 陈振邦 1 杜一德 1 莱奥·埃克巴德 1 艾曼纽·菲利奥特 1 伯恩德·芬克贝纳 1 菲利普·海姆 1 洪伟江 1 阿伊拉特·哈利莫夫 1 诺埃米，传球 1 王，季 连载1篇 1 系统设计中的形式化方法 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文