×

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

关于求解集合{0,1}上线性丢番图约束系统的算法。 (英语。俄文原件) Zbl 1097.65061号

赛博。系统。分析。 39,第5期,676-685(2003); 翻译自Kibern。修女。分析。2003年,第5期,58-69(2003)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

借助第10个希尔伯特问题检验Petri网可达性的不可判定性。 (英语) 兹比尔0935.68074

Donatelli,Susanna(编辑)等人,《Petri网的应用和理论》,1999年。第20届国际会议,ICATPN'99。美国弗吉尼亚州威廉斯堡,1999年6月21日至25日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1639, 268-281 (1999).
PDF格式BibTeX公司 XML格式引用

Petri网、线性代数和线性规划。系统模型的分析、验证和正确性证明。(Petrinetze,线性代数和线性编程。分析、验证和Korrektheitsbeeise von Systemmodellen。) (德语) Zbl 0909.68100号

Teubner-Texte zur Informatik公司. 26. 莱比锡:特伯纳。133 S.(1998)。
PDF格式BibTeX公司 XML格式引用

加权电路的活性和Frobenius的丢番图问题。 (英语) Zbl 0794.68113号

埃西克,佐尔坦(编辑),《计算理论基础》。第九届国际会议,1993年8月23日至27日,匈牙利塞格德FCT’93。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。710, 171-180 (1993).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

出版年份