马尔科·萨利泽;马丁·兰格 简单神经网络中的可达性。 (英语) Zbl 07770060号 芬达姆。通知。 189,编号3-4,241-259(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Sälzer}和\textit{M.Lange},Fundam。通知。189,编号3--4,241--259(2022;Zbl 07770060) 全文: 内政部 arXiv公司
马尔科·萨利泽;马丁·兰格 即使对于最简单的神经网络,可达性也是NP完全的。 (英语) Zbl 07670978号 Bell,Paul C.(编辑)等人,《可达性问题》。第15届国际会议,RP 2021,英国利物浦,2021年10月25-27日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13035, 149-164 (2021).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Sälzer}和\textit{M.Lange},莱克特。注释计算。科学。13035,149--164(2021;Zbl 07670978) 全文: 内政部 arXiv公司
亨德斯哈根,诺伯特;马丁·兰格;乔治·西伯特 DiMo–使用命题逻辑的离散建模。 (英语) Zbl 07495577号 Li,Chu-Min(编辑)等,《满意度测试的理论和应用——SAT 2021》。第24届国际会议,西班牙巴塞罗那,2021年7月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12831242-250(2021年)。MSC公司:第68季度25 68兰特 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{N.Hundeshagen}等人,Lect。注释计算。科学。12831、242--250(2021;Zbl 07495577) 全文: 内政部
朱利安·古铁雷斯;费利克斯·克莱特克;马丁·兰格 演算交替层次结构在连接受限的结构上崩溃。 (英语) Zbl 1327.03016号 西奥。计算。科学。 560,第3部分,292-306(2014). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B45号 05年3月 05C90年 05C20号 PDF格式BibTeX公司 XML格式引用 \文本{J.Gutierrez}等人,Theor。计算。科学。560,第3部分,292--306(2014;Zbl 1327.03016) 全文: 内政部
凯乔·赫尔扬科;米萨Keinänen;马丁·兰格;伊尔卡·尼梅尔 通过降低SAT来解决平价游戏。 (英语) Zbl 1279.68211号 J.计算。系统。科学。 78,第2期,430-440(2012).MSC公司:第68季度第60季度 03B70号 91A05型 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{K.Heljanko}等人,J.Compute。系统。科学。78,第2号,430-440(2012;Zbl 1279.68211) 全文: 内政部
巴哈雷赫巴德班;马丁·兰格 使用SMT求解器对时间自动机进行精确增量分析。 (英语) Zbl 1348.68118号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,177-192(2011)。MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Badban}和\textit{M.Lange},Lect。注释计算。科学。6919、177--192(2011年;Zbl 1348.68118) 全文: 内政部
克里斯蒂安·达克斯;费利克斯·克莱特克;马丁·兰格 关于常规时间逻辑与过去。 (英语) Zbl 1214.68211号 学报信息。 47,第4期,251-277(2010).MSC公司:第68季度第60季度 03B44号 05年3月 2015年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dax}等人,《学报》第47期,第4期,第251--277页(2010年;Zbl 1214.68211) 全文: 内政部 链接
马丁·兰格 混合逻辑的模型检查。 (英语) Zbl 1193.03053号 J.逻辑语言信息。 第4期第18页,465-491页(2009年).MSC公司:03B62号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},J.Logic Lang.Inf.18,No.4,465--491(2009;Zbl 1193.03053) 全文: 内政部
奥尔纳·格伦伯格;马丁·兰格;马丁·勒克;沙龙·肖姆 不输胜于赢:完整微积分的抽象和精化。 (英语) Zbl 1306.68100号 Inf.计算。 205,第8期,1130-1148(2007).MSC公司:第68季度第60季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《信息计算》。205,第8号,1130--1148(2007;Zbl 1306.68100) 全文: 内政部