编辑配置文件（在新选项卡中打开） 穆萨布·A·阿尔图尔基。 合著者距离 作者ID： 阿尔特基·穆萨b-a 发布日期： Musab A.Alturki。;穆萨布·A·阿尔图尔基。 外部链接： ORCID公司 已编制索引的文档： 3出版物自2015年起 合著者： 6位合著者具有3联合出版物 261合著作者 全部的 前5名合著者 0 单作者的 2 塔贾纳Ban Kirigin 2 Max Iosifovich，卡诺维奇 2 Vivek Nigam先生 2 安德烈·斯克洛夫 2 卡罗琳·塔尔科特。 1 何塞·梅塞盖尔·瓜伊塔 系列 1 程序设计中的逻辑与代数方法杂志 领域 三 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用6中的次4文件 引用人▼ 年份▼ Orc的可执行重写逻辑语义和Orc程序的形式化分析。 Zbl 1329.68169号 穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 6 2015 Orc的可执行重写逻辑语义和Orc程序的形式化分析。 Zbl 1329.68169号 穆萨布·A·阿尔图尔基。;何塞·梅塞盖尔 6 2015 全部的 前5名10位作者引用 2 何塞·梅塞盖尔·瓜伊塔 1 穆萨布·A·阿尔图尔基。 1 威廉·R·库克。 1 董金松 1 大卫·基钦 1 刘，杨 1 贾亚德夫·米斯拉 1 孙骏 1 伊恩·卫尔曼 1 张，西安 4篇连载文章中引用 1 理论计算机科学 1 计算的形式方面 1 逻辑与代数程序设计杂志 1 程序设计中的逻辑与代数方法杂志 在2个字段中引用 4 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文