×

找到3个文档(结果1-3)

关于将线性化能力降低到状态可达性。 (英语) 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)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

序列号

出版年份

主字段

软件