×

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

乘积系统的Kleene定理。 (英语) Zbl 1341.68132号

Holzer,Markus(编辑)等人,《形式系统的描述复杂性》。第13届国际研讨会,DCFS 2011,2011年7月25日至27日,德国林堡Gießen。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22599-4/pbk)。计算机科学讲义6808235-247(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

筛选结果依据…

文档类型

出版年份

主字段

软件