×

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

有限树上的扩展时序逻辑。 (英语) Zbl 1264.03051号

伊藤、马萨米(编辑)等,《自动机,形式语言和代数系统》。2008年AFLAS会议记录,日本京都,2008年9月20日至22日。新泽西州哈肯萨克:世界科学(ISBN 978-981-4317-60-3/hbk;978-981-14317-61-0/电子书)。47-62 (2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

序列号

主字段

软件