贾德·哈姆扎 关于线性化的复杂性。 (英语) Zbl 1459.68083号 计算 101,第9期,1227-1240(2019)。MSC公司:65年第68季度 2017年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hamza},Computing 101,No.9,1227--1240(2019;Zbl 1459.68083) 全文: 内政部 arXiv公司
艾哈迈德·布瓦贾尼;迈克尔·埃米;康斯坦丁·埃纳;贾德·哈姆扎 关于将线性化能力降低到状态可达性。 (英语) Zbl 1395.68090号 Inf.计算。 261,第2部分,383-400(2018)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《Inf.Compute》。261,第2部分,383--400(2018;Zbl 1395.68090) 全文: 内政部 arXiv公司
艾哈迈德·博阿贾尼;迈克尔·埃米;康斯坦丁·埃纳;哈姆扎,贾德 关于将线性化能力降低到状态可达性。 (英语) Zbl 1395.68089号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第二部分。柏林:施普林格出版社(ISBN 978-3-662-47665-9/pbk;978-3-562-47666-6/电子书)。计算机科学讲义9135,95-107(2015)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,Lect。注释计算。科学。9135,95-107(2015;Zbl 1395.68089) 全文: 内政部 arXiv公司