托马斯·鲍威尔 作为有状态程序的证明:带有抽象Hoare三元组的一阶逻辑,以及对命令式语言的解释。 (英语) 兹伯利07814915 日志。计算方法。科学。 20,第1号,第7号论文,32页(2024年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell},日志。计算方法。科学。20,第1号,第7号论文,32页(2024;Zbl 07814915) 全文: 内政部 arXiv公司
斯普林,迪特;乌尔里希·伯杰 使用无限对象进行计算:格雷码情况。 (英语) Zbl 07731929号 日志。计算方法。科学。 19,第3号,第1号论文,62页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{D.Spreen}和\textit{U.Berger},Log。计算方法。科学。19,第3号,第1号文件,第62页(2023;Zbl 07731929) 全文: arXiv公司
科普,尼尔斯;赫尔穆特·施维赫滕贝格 用逻辑方法进行精确实数运算的前瞻分析。 (英语) Zbl 07638593号 西奥。计算。科学。 943, 171-186 (2023).MSC公司:03B70号 03D78号 68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Köpp}和\textit{H.Schwichtenberg},Theor。计算。科学。943171--186(2023年;Zbl 07638593) 全文: 内政部
安娜·贝基;亚历山德罗·西马蒂 逆向工程中的抽象模稳定性。 (英语) Zbl 1514.68120号 Shoham,Sharon(编辑)等人,《计算机辅助验证》。第34届国际会议,CAV 2022,以色列海法,2022年8月7日至10日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。13371, 469-489 (2022).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Becchi}和\textit{A.Cimatti},莱克特。注释计算。科学。13371、469--489(2022年;Zbl 1514.68120) 全文: 内政部
弗朗齐斯科斯·威斯内特;科普,尼尔斯 二进制有符号数字表示中实数的极限。 (英语) Zbl 07596572号 日志。计算方法。科学。 18,第3号,第24号论文,28页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{F.Wiesnet}和\textit{N.Köpp},日志。计算方法。科学。18,第3号,第24号论文,28页(2022;Zbl 07596572) 全文: 内政部 arXiv公司
托马斯·鲍威尔;彼得·舒斯特;弗朗齐斯科斯·威斯内特 克鲁尔定理的通用算法。 (英语) 兹比尔1505.03136 Inf.计算。 287,文章ID 104761,21 p.(2022). 审核人:弗拉基克·雅。克雷诺维奇(埃尔帕索) MSC公司:03层60 13甲15 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}等人,《Inf.Compute》。287,文章ID 104761,21 p.(2022;Zbl 1505.03136) 全文: 内政部
米查尔·科内奇;塞翁公园;霍尔格·蒂斯 公理实数和经证明有效的精确实数计算。 (英语) Zbl 07547745号 Silva,Alexandra(编辑)等人,《逻辑、语言、信息和计算》。第27届国际研讨会,WoLLIC 2021,虚拟活动,2021年10月5日至8日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13038, 252-268 (2021).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Koneční}等人,Lect。注释计算。科学。13038、252--268(2021;Zbl 07547745) 全文: 内政部
凯特琳·达布雷拉;杰里米·道森;拉杰夫·戈尔 时态逻辑线性嵌套序列的一种经过形式验证的删减过程。 (英语) Zbl 07532522号 Das,Anupam(编辑)等人,《使用分析表和相关方法的自动推理》。第30届国际会议,2021年9月6日至9日,英国伯明翰,TABLEAUX 2021。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12842, 281-298 (2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.D'Aberra}等人,Lect。注释计算。科学。12842、281--298(2021;Zbl 07532522) 全文: 内政部
弗朗齐斯科斯·威斯内特 Zarisk引理的算法版本。 (英语) Zbl 1489.14006号 De Mol,Liesbeth(编辑)等人,《与可计算性的联系》。第17届欧洲可计算性会议,CiE 2021,虚拟事件,比利时根特,2021年7月5日至9日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12813, 469-482 (2021). 审核人:Alborz Azarang(阿瓦兹) MSC公司:14年25日 65楼03号 12层05 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。12813,469--482(2021;Zbl 1489.14006) 全文: 内政部
Tan,Yong Kiam先生;Heule,Marijn J.H。;玛格努斯·奥·米林。 结块_lpr:在CakeML中验证了传播冗余检查。 (英语) Zbl 1474.68194号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12652, 223-241 (2021).MSC公司:第68季度第60季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Tan}等人,Lect。注释计算。科学。12652、223--241(2021;Zbl 1474.68194) 全文: 内政部
斯普林,迪特 连续对象计算:统一共归纳方法。 (英语) Zbl 07408499号 数学。结构。计算。科学。 31,第2期,144-192(2021).MSC公司:03D78号 PDF格式BibTeX公司 XML格式引用 \textit{D.Spreen},数学。结构。计算。科学。31,第2号,144--192(2021;Zbl 07408499) 全文: 内政部 arXiv公司
赫尔穆特·施维赫滕贝格;弗朗齐斯科斯·威斯内特 精确实数运算的逻辑。 (英语) Zbl 07350773号 日志。计算方法。科学。 17,第2号,第7号论文,27页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg}和\textit{F.Wiesnet},日志。计算方法。科学。17,第2号,第7号论文,27页(2021;Zbl 07350773) 全文: arXiv公司 链接
乌尔里希·伯杰;Hideki Tsuiki 直觉主义的定点逻辑。 (英语) Zbl 1498.03065号 Ann.纯粹应用。逻辑 172,第3号,文章ID 102903,57 p.(2021).MSC公司:03B70号 03秒20 03B40型 03日70 03D78号 03层60 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{H.Tsuiki},Ann.Pure Appl。逻辑172,第3号,文章ID 102903,57页(2021;Zbl 1498.03065) 全文: 内政部 arXiv公司
陈朝红;维克拉曼·乔杜里;雅克·卡雷特;阿穆尔·萨布里 分数类型。辅助设备位的表达和安全空间管理。 (英语) Zbl 07368054号 Lanese,Ivan(编辑)等人,《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12227, 169-186 (2020).MSC公司:2009年第68季度 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{C.-H.Chen}等人,Lect。注释计算。科学。12227,169--186(2020;Zbl 07368054) 全文: 内政部 arXiv公司
赫尔穆特·施维赫滕贝格 从证明中提取程序:一致共凸条的扇形定理。 (英语) Zbl 1469.03125号 Centrone,Stefania(编辑)等人,《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼(Villa Vigoni)的德国-意大利欧洲卓越中心(German-Italian Centre for European Excellence)举行的洪堡-科尔勒格(Humboldt-Kolleg)“作为数学普适性的证明理论”。查姆:施普林格。合成。伦敦银行同业拆借利率。412333-341(2019年)。MSC公司:03D78号 03层60 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg},Synth。伦敦银行同业拆借利率。412333-341(2019年;Zbl 1469.03125) 全文: 内政部
克劳斯·美因泽 从数学的普遍性到可证明性、可计算性和可构造性。 (英语) Zbl 1469.03113号 Centrone,Stefania(编辑)等人,《通用数学、可计算性和证明》。基于2017年7月24日至28日在意大利科莫洛夫诺·迪·梅纳吉奥维拉维戈尼(Villa Vigoni)的德国-意大利欧洲卓越中心(German-Italian Centre for European Excellence)举行的洪堡-科尔勒格(Humboldt-Kolleg)“作为数学普适性的证明理论”。查姆:施普林格。合成。伦敦银行同业拆借利率。412, 203-234 (2019).MSC公司:03日第10天 03天35分 35楼03号 03层60 03B30型 35层03 68伏15 03B38型 55单位40 PDF格式BibTeX公司 XML格式引用 \textit{K.Mainzer},合成。伦敦银行同业拆借利率。412203--234(2019年;Zbl 1469.03113) 全文: 内政部
托马斯·鲍威尔;彼得·舒斯特;弗朗齐斯科斯·威斯内特 交换代数中理想对象存在性的算法方法。 (英语) Zbl 07176946号 Iemhoff,Rosalie(编辑)等人,《逻辑、语言、信息和计算》。第26届国际研讨会,2019年7月2日至5日,荷兰乌得勒支WoLLIC 2019。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。11541, 533-549 (2019).MSC公司:65楼03号 13甲15 13升05 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell}等人,Lect。注释计算。科学。11541、533--549(2019;Zbl 07176946) 全文: 内政部 arXiv公司
乌尔里希·伯杰;艾莉森·琼斯;莫尼卡·塞森伯格 应用于一元分析的程序提取。 (英语) Zbl 1452.68045号 J.日志。计算。 29,第4期,487-518(2019).MSC公司:68号30 03B70号 68甲18 68T50型 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,J.Log。计算。29,第4号,487--518(2019;Zbl 1452.68045) 全文: 内政部 链接
托马斯·鲍威尔 带有状态的函数解释。 (英语) Zbl 1453.03065号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。839-848 (2018).MSC公司:35层03 2010年1月3日 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell},in:2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9-12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。839-848(2018;Zbl 1453.03065) 全文: 内政部
赫尔穆特·施维赫滕贝格;斯坦利·韦纳。 分层算术。 (英语) Zbl 1429.03150号 Jäger,Gerhard(编辑)等人,《地基上的费弗曼》。逻辑、数学、哲学。查姆:施普林格。Outst公司。控制日志。13, 145-168 (2017).MSC公司:03D20日 2015年3月1日 05年3月 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg}和\textit{S.Wainer},Outst。控制日志。13、145--168(2017年;Zbl 1429.03150) 全文: 内政部
路易斯·克鲁兹·菲利佩;Larsen,Kim S。;彼得·施奈德·坎普 正式证明分拣网络的尺寸优化。 (英语) Zbl 1425.68372号 J.汽车。推理 59,第4期,425-454(2017).MSC公司:68吨15 68甲18 2017年第68季度 第68季度25 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}等人,J.Autom。推理59,No.4,425--454(2017;Zbl 1425.68372) 全文: 内政部
约瑟夫·伯杰;赫尔穆特·施维赫滕贝格 Dickson引理的界。 (英语) Zbl 1459.03092号 日志。计算方法。科学。 13,第3号,第30号论文,第8页(2017).MSC公司:03层60 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.Berger}和\textit{H.Schwichtenberg},Log。计算方法。科学。13,第3号,第30号论文,第8页(2017;Zbl 1459.03092) 全文: 内政部 arXiv公司
保罗·奥利瓦;托马斯·鲍威尔 有限部分函数上的条形递归。 (英语) Zbl 1422.03091号 Ann.纯粹应用。逻辑 168,第5期,887-921(2017).MSC公司:第三天65 2010年1月3日 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{P.Oliva}和\textit{T.Powell},Ann.Pure Appl。逻辑168,No.5,887--921(2017;Zbl 1422.03091) 全文: 内政部 arXiv公司
赫尔穆特·施维赫滕贝格;莫尼卡·塞森伯格;弗朗齐斯科斯·威斯内特 希格曼引理及其计算内容。 (英语) Zbl 1439.03099号 Kahle,Reinhard(编辑)等人,《证明理论的进展》。2013年12月13日至14日,瑞士伯尔尼,Gerhard Jäger诞辰60周年之际,研讨会记录。巴塞尔:Birkhäuser/Springer。掠夺。计算。科学。申请。日志。28, 353-375 (2016).MSC公司:07年3月 20层03 05年05月05日 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg}等人,程序。计算。科学。申请。日志。28353--375(2016;Zbl 1439.03099) 全文: 内政部
乌尔里希·伯杰;宫本贤治;赫尔穆特·施维赫滕贝格;Hideki Tsuiki 格雷码计算逻辑。 (英语) Zbl 1433.03120号 Probst,Dieter(编辑)等人,《数学、哲学和计算机科学中的证明概念》。2013年9月9日至13日,基于瑞士伯尔尼洪堡-科尔拉格。Ontos数学逻辑6。柏林:De Gruyter。69-110 (2016).MSC公司:03D78号 03层60 03B70号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,《Ontos数学》。日志。6、69——110(2016;Zbl 1433.03120) 全文: 内政部 链接
托马斯·鲍威尔 哥德尔的功能解释和学习概念。 (英语) Zbl 1401.68049号 2016年7月5日至8日,美国纽约州纽约市,2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。136-145 (2016).MSC公司:68号30 2010年1月3日 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{T.Powell},载:2016年第31届美国计算机学会/电子工程师协会计算机科学逻辑年度研讨会论文集,2016年7月5日至8日,美国纽约州纽约市。纽约州纽约市:计算机协会(ACM)。136-145(2016;Zbl 1401.68049) 全文: 内政部
乌尔里希·伯杰 提取非确定性并发程序。 (英语) Zbl 1369.68128号 Regnier,Laurent(编辑)等人,2016年8月29日至9月1日,法国马赛CSL’16,第25届EACSL年会和第30届计算机科学逻辑研讨会。诉讼程序。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-95977-022-4)。LIPIcs–莱布尼茨国际信息学学报62,第26条,第21页。(2016).MSC公司:68号30 03B70号 03层60 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger},LIPIcs——莱布尼茨国际程序。通知。62,第26条,第21页(2016;Zbl 1369.68128) 全文: 内政部
乌尔里希·伯杰;斯普林,迪特 使用紧集进行计算的共推方法。 (英语) Zbl 1396.03085号 J.日志。分析。 8,第3号论文,第35页(2016).MSC公司:03D78号 03B35型 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{D.Spreen},J.Log。分析。8,论文编号3,35 p.(2016;Zbl 1396.03085) 全文: 内政部 arXiv公司
亚历山大·克鲁泽。 关于高阶逆数学中的幂等超滤子。 (英语) Zbl 1358.03021号 J.塞姆。日志。 80,第1期,179-193(2015). 审核人:杰弗里·赫斯特(布恩) MSC公司:03B30型 35楼03号 03层60 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kreuzer},J.Symb。日志。80,第1号,179--193(2015;Zbl 1358.03021) 全文: 内政部 arXiv公司
乌尔里希·伯杰;安德鲁·劳伦斯;弗雷德里克·诺德瓦尔·福斯伯格;莫尼卡·塞森伯格 提取经验证的决策程序:DPLL和解决方案。 (英语) Zbl 1448.68454号 日志。计算方法。科学。 11,第1号,第6号论文,18页(2015).MSC公司:68伏15 68甲18 68T20型 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,日志。计算方法。科学。11,第1号,第6号论文,18页(2015;Zbl 1448.68454) 全文: 内政部 arXiv公司
乌尔里希·伯杰;莫尼卡·塞森伯格;格雷戈里·伍兹。 从证明中提取命令程序:就地快速排序。 (英语) Zbl 1359.68042号 Matthes,Ralph(编辑)等人,2013年4月22日至26日在法国图卢兹举行的第19届国际校样和程序类型会议,types 2013。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-72-9)。LIPIcs–莱布尼茨国际信息学论文集26,84-106(2014)。MSC公司:68甲18 68页第10页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,LIPIcs——莱布尼茨国际程序。通知。26、84——106(2014;Zbl 1359.68042) 全文: 内政部
亚历山大·克鲁泽。 2个随机实数的程序提取。 (英语) Zbl 1295.03039号 架构(architecture)。数学。逻辑 52,编号5-6,659-666(2013). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 2010年1月3日 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kreuzer},Arch,阿彻。数学。逻辑52,No.5--6,659--666(2013;Zbl 1295.03039) 全文: 内政部
安德鲁·劳伦斯;乌尔里希·伯杰;莫尼卡·塞森伯格 提取DPLL算法。 (英语) Zbl 1342.68293号 Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286243-256(2012)。MSC公司:68吨15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Lawrence}等人,《电子》。注释Theor。计算。科学。286243-256(2012;Zbl 1342.68293) 全文: 内政部
乌尔里希·伯杰;侯铁英 类型化与非类型化可实现性。 (英语) 兹比尔1342.68047 Berger,Ulrich(编辑)等人,《第28届编程语义数学基础会议论文集》(MFPS XXVIII),英国巴斯,2012年6月6日至9日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记286,57-71(2012)。MSC公司:68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{T.Hou},电子。注释Theor。计算。科学。286、57--71(2012;Zbl 1342.68047) 全文: 内政部
乌尔里希·伯杰;莫尼卡·塞森伯格 校对、程序、流程。 (英语) Zbl 1280.68078号 理论计算。系统。 51,第3期,313-329(2012).MSC公司:68号30 35层03 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{M.Seisenberger},理论计算。系统。51,编号313-329(2012年;兹bl 1280.68078) 全文: 内政部
亚历山大·克鲁泽。 非主超滤器、程序提取和高阶逆数学。 (英语) Zbl 1269.03021号 数学杂志。日志。 12,第1期,1250002,16页(2012). 审核人:卡尔·穆默特(亨廷顿) MSC公司:03B30型 35楼03号 03层60 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kreuzer},J.数学。日志。12,第1期,1250002,16页(2012;Zbl 1269.03021) 全文: 内政部 arXiv公司
亚历山大·克鲁泽。 证明挖掘和组合学。Ramsey配对定理的程序提取。 (英语) Zbl 1262.03003号 达姆施塔特:TU Darmstadt,Fachbereich Mathematik(Diss.)。147页。(2012年)。 审核人:Laurenţiu Leuştean(布凯什蒂) MSC公司:03-02 03B30型 03天80 2010年1月3日 35楼03号 03层60 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Kreuzer},证明挖掘和组合学。Ramsey配对定理的程序提取。达姆施塔特:TU Darmstadt,Fachbereich Mathematik(Diss.)(2012;Zbl 1262.03003) 全文: 链接
黛安娜·拉蒂乌;Trifonov、Trifon 探索无限鸽子洞原理的计算内容。 (英语) Zbl 1259.03072号 J.日志。计算。 22,第2期,329-350(2012).MSC公司:2010年1月3日 03B70号 20层03 10年5月 PDF格式BibTeX公司 XML格式引用 \textit{D.Ratiu}和\textit{T.Trifonov},J.Log。计算。22,第2号,329-350(2012年;兹bl 1259.03072) 全文: 内政部
亚历山大·米克尔 经典可实现性中的存在见证提取以及通过否定翻译。 (英语) Zbl 1218.03016号 日志。计算方法。科学。 7,第2期,第2号论文,47页(2011年).MSC公司:03B40型 35楼03号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Miquel},日志。计算方法。科学。7,第2期,第2号论文,47页(2011;Zbl 1218.03016) 全文: 内政部
乌尔里希·伯杰 从共性证明到精确实数算术:理论与应用。 (英语) Zbl 1218.03036号 日志。计算方法。科学。 7,第1号,第8号论文,24页(2011年).MSC公司:03层60 03D78号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger},日志。计算方法。科学。7,第1号,第8号文件,第24页(2011年;Zbl 1218.03036) 全文: 内政部
克里斯蒂安·施恩伯格;弗兰茨·魏特尔;伯克哈德·弗雷塔格 验证基于web的技术文档的一致性。 (英语) Zbl 1213.68609号 J.塞姆。计算。 46,第2期,183-206(2011).MSC公司:68立方英尺 68英里11 第68季度第60季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Schönberg}等人,J.Symb。计算。46,第2号,183--206(2011;Zbl 1213.68609) 全文: 内政部
Mircea-Dan赫内斯特;Trifonov、Trifon 《光辩证法》重访。 (英语) Zbl 1223.03040号 Ann.纯粹应用。逻辑 161,第11期,1379-1389(2010).MSC公司:2010年1月3日 20层03 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.Hernest}和\textit{T.Trifonov},Ann.Pure Appl。逻辑161,No.11,1379--1389(2010;Zbl 1223.03040) 全文: 内政部 arXiv公司
乌尔里希·伯杰 归纳和共推的可实现性,以及在构造分析中的应用。 (英语) Zbl 1219.03074号 加州大学洛杉矶分校 16,第18期,2535-2555(2010).MSC公司:03层60 03B40型 03B70号 03日70 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger},J.UCS 16,No.18,2535--2555(2010;Zbl 1219.03074) 全文: 链接
阿里·米莉;谢尔·亚哈龙;查塔尼亚·纳德卡尼;吉拉尼、拉米亚·拉贝德;阿斯玛·卢希奇;奥尔法·姆拉伊 自反传递不变关系:计算循环函数的基础。 (英语) Zbl 1208.68150号 J.塞姆。计算。 45,第11期,1114-1143(2010).MSC公司:第68季度第60季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mili}等人,J.Symb。计算。45,第11号,1114--1143(2010;Zbl 1208.68150) 全文: 内政部
乌尔里希·伯杰;莫尼卡·塞森伯格 校对、程序、流程。 (英语) Zbl 1280.68077号 Ferreira,Fernando(编辑)等人,《程序、证明、过程》。2010年6月30日至7月4日在葡萄牙亚速尔群岛德尔加达桥举行的第六届欧洲可计算性会议,CiE 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-13961-1/pbk)。计算机科学课堂讲稿6158,39-48(2010)。MSC公司:68号30 35层03 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}和\textit{M.Seisenberger},莱克特。注释计算。科学。6158、39-48(2010年;Zbl 1280.68077) 全文: 内政部 链接
乌尔里希·伯杰 (共同)归纳的现实性和充分性。 (英语) Zbl 1247.03126号 Bauer,Andrej(编辑)等人,第六届分析中的可计算性和复杂性国际会议(CCA'09)。国际会议记录,2009年8月18日至22日,斯洛文尼亚卢布尔雅那。瓦登:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-12-5)。OASIcs–《信息学》中的OpenAccess系列11、12页,仅电子版(2009年)。MSC公司:03层60 03B40型 03日70 03D78号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger},OASIcs--OpenAccess服务器。通知。第11页,第12页(2009年;兹bl 1247.03126) 全文: 内政部
罗伯特·康斯特布尔;沃伊切赫·莫齐德·奥斯基 从命题演算的完备性证明中提取求解算法。 (英语) Zbl 1221.03015号 Ann.纯粹应用。逻辑 161,第3期,337-348(2009).MSC公司:03B35型 03B05号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Constable}和\textit{W.Moczydłowski},Ann.Pure Appl。逻辑161,No.3,337--348(2009;Zbl 1221.03015) 全文: 内政部 链接
卢卡·奇亚拉比尼 通过证明转换进行程序开发。 (英语) 兹比尔1208.68012 慕尼黑,慕尼黑大学,Fakultät für Mathematik,Informatik und Statistik(Diss.)。xiv,118页。(2009).MSC公司:68-02 第68季度第60季度 05立方厘米70 第68季度32 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Chiarabini},通过证明转换进行程序开发。慕尼黑,慕尼黑大学,Fakultät für Mathematik,Informatik und Statistik(Diss.)(2009;Zbl 1208.68012) 全文: 链接
乌尔里希·伯杰 从共性证明到精确实数运算。 (英语) Zbl 1218.03035号 Grädel,Erich(编辑)等人,《计算机科学逻辑》。2009年9月7日至11日在葡萄牙科英布拉举行的第23届CSL国际研讨会,EACSL第18届年会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04026-9/pbk)。计算机科学课堂讲稿5771132-146(2009)。MSC公司:03层60 03D78号 68号30 PDF格式BibTeX公司 XML格式引用 \发短信给Lect。注释计算。科学。5771、132--146(2009年;Zbl 1218.03035) 全文: 内政部
Mircea-Dan赫内斯特 证明挖掘的轻单调辩证法。 (英语) Zbl 1182.03106号 数学。日志。问:。 55,第5期,551-561(2009). 审核人:亨利·托斯纳(洛杉矶) MSC公司:2010年1月3日 03年11月15日 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.Hernest},数学。日志。问55,第5号,551--561(2009;Zbl 1182.03106) 全文: 内政部
赫尔穆特·施维赫滕贝格 构造性分析中证明的可实现性解释。 (英语) Zbl 1166.03035号 理论计算。系统。 43,编号3-4583-602(2008).MSC公司:03层60 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg},理论计算。系统。43,编号3--4,583--602(2008;Zbl 1166.03035) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 使用跳转指令编程代数。 (英语) Zbl 1158.68359号 J.应用。日志。 6,第4号,553-563(2008).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},J.Appl。日志。6,第4号,553--563(2008;Zbl 1158.68359) 全文: 内政部 arXiv公司
罗伯特·康斯特布尔。;沃伊切赫·莫奇德洛夫斯基 通过IZF集合理论语义从构造性HOL证明中提取程序。 (英语) 兹比尔1147.03013 日志。计算方法。科学。 4,第3期,论文5,17页(2008年).MSC公司:03B70号 03年11月15日 03B35型 03E70型 68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Constable}和\textit{W.Moczydlowski},Log。计算方法。科学。4,第3号,论文5,17页(2008;Zbl 1147.03013) 全文: 内政部
Mircea-Dan赫内斯特;保罗·奥利瓦 混合功能解释。 (英语) Zbl 1142.03368号 Beckmann,Arnold(编辑)等人,《逻辑与算法理论》。第四届欧洲可计算性会议,2008年6月15日至20日,希腊雅典,CiE 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69405-2/pbk)。计算机科学课堂讲稿5028251-260(2008)。MSC公司:2010年1月3日 03楼52 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.Hernest}和\textit{P.Oliva},莱克特。注释计算。科学。5028251--260(2008年;Zbl 1142.03368) 全文: 内政部
赫尔穆特·施维赫滕贝格 有根据的归纳法的辩证法解释。 (英语) Zbl 1144.03035号 数学。日志。问:。 54,第3期,229-239(2008). 审核人:赛义德·萨利希(大不里士) MSC公司:2010年1月3日 35层03 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg},数学。日志。问题54,第3229-239号(2008年;兹bl 1144.03035) 全文: 内政部
迈克尔·拉特扬 具有选择原则的直觉主义集合理论的元数学性质。 (英语) 兹伯利1137.03034 Cooper,S.Barry(编辑)等人,《新计算范式》。改变可计算概念。纽约州纽约市:施普林格出版社(ISBN 978-0-387-36033-1/hbk)。287-312 (2008).MSC公司:03楼50 03E70型 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.Rathjen},in:新计算范式。改变可计算概念。纽约州纽约市:斯普林格。287--312(2008;Zbl 1137.03034)
Mircea-Dan赫内斯特 用证明系统中的单调辩证法解释合成一致连续模MinLog(最小日志). (英语) Zbl 1278.03087号 Momigliano,Alberto(编辑)等人,《逻辑框架和元语言:理论与实践第一次国际研讨会论文集》(LFMTP 2006),西雅图,华盛顿州,美国,2006年8月16日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第5期,141-149页(2007年)。MSC公司:07年3月 2010年1月3日 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.Hernest},电子。注释Theor。计算。科学。174,第5号,141--149(2007;Zbl 1278.03087) 全文: 链接
安妮·穆尔伦;查尔斯·菲舍尔;本·利布利特 用于验证工程的工具支持。 (英语) Zbl 1278.68275号 Autexier,Serge(编辑)等人,第七届定理证明器用户界面研讨会论文集(UITP 2006),西雅图,华盛顿州,美国,2006年8月21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第2期,75-86(2007)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Mulhern}等人,《电子》。注释Theor。计算。科学。174,第2号,75--86(2007;Zbl 1278.68275) 全文: 内政部
Mircea-Dan赫内斯特 从经典斐波那契证明中提取光辩证法程序。 (英语) Zbl 1277.03057号 Jouannaud,Jean-Pierre(ed.)等人,第二届计算模型发展国际研讨会论文集(DCM 2006),意大利威尼斯,2006年7月16日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》171,第3期,43-53(2007)。MSC公司:2010年1月3日 03B35型 03B70号 20层03 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.Hernest},电子。注释Theor。计算。科学。171,第3号,43-53(2007;Zbl 1277.03057) 全文: 内政部
佩德罗·德·拉卡马拉;玛丽亚·德尔马·加拉多;佩德罗·梅里诺 用于软件模型检查的抽象匹配。 (英语) Zbl 1178.68157号 Valmari,Antti(编辑),模型检查软件。第十三届国际SPIN研讨会,奥地利维也纳,2006年3月30日至4月1日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33102-6/pbk)。《计算机科学讲义》3925、182-200(2006)。MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.de la Cámara}等人,Lect。注释计算。科学。3925182-200(2006年;Zbl 1178.68157) 全文: 内政部
艾伦,S.F。;比克福德,M。;康斯特布尔,R.L。;伊顿,R。;克里茨,C。;洛里戈,L。;E.莫兰。 使用Nuprl的计算类型理论创新。 (英语) Zbl 1107.68090号 J.应用。日志。 4,第4期,428-469(2006).MSC公司:68吨15 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{S.F.Allen}等人,J.Appl。日志。4,编号428-469(2006年;Zbl 1107.68090) 全文: 内政部
乌尔里希·伯杰;斯特凡·贝尔霍费尔;皮埃尔·勒图泽伊;赫尔穆特·施维赫滕贝格 从规范化证明中提取程序。 (英语) Zbl 1095.03016号 螺柱日志。 82,第1期,25-49(2006).MSC公司:03B70号 03B35型 03B40型 05年3月 68号30 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,研究日志。82、第1号、第25-49号(2006年;Zbl 1095.03016) 全文: 内政部 哈尔
Mircea-Dan赫内斯特 轻度功能性解释。优化哥德尔技术,从(经典)证明中提取(更)有效的程序。 (英语) 兹比尔1136.03333 Luke Ong(编辑),《计算机科学逻辑》。2005年8月22日至25日,第19届CSL国际研讨会,第14届EACSL年会,英国牛津。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28231-9/pbk)。计算机科学课堂讲稿3634477-492(2005)。MSC公司:07年3月 2010年1月3日 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.Hernest},莱克特。注释计算。科学。3634477--492(2005年;Zbl 1136.03333) 全文: 内政部
Mircea-Dan赫内斯特;乌尔里奇·科伦巴赫 功能解释的复杂性分析。 (英语) Zbl 1096.03071号 西奥。计算。科学。 338,编号1-3200-246(2005). 审核人:M.Yasuhara(普林斯顿) MSC公司:20层03 35楼03号 2010年1月3日 第68季度25 第68季度第60季度 68号30 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.-D.Hernest}和\textit{U.Kohlenbach},Theor。计算。科学。338,编号1--3,200-246(2005;Zbl 1096.03071) 全文: 内政部
皮蓬Vejjajiva 完全构造二阶逻辑强正规化的直接证明。 (英语) Zbl 1069.03005号 东南亚牛市。数学。 28,第5期,887-902(2004).MSC公司:03年11月15日 03B70号 05年3月 68号30 PDF格式BibTeX公司 XML格式引用 \textit{P.Vejjajiva},东南亚公牛。数学。28,第5号,887--902(2004;Zbl 1069.03005)
路易斯·克鲁兹·菲利佩;溅出物,Bas 从大型验证开发中提取的程序。 (英语) Zbl 1279.68287号 Basin,David(编辑)等人,《高阶逻辑中的定理证明》。第16届国际会议,2003年TPHOL,意大利罗马,2003年9月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40664-6/pbk)。莱克特。注释计算。科学。2758, 205-220 (2003).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{L.Cruz-Filipe}和\textit{B.Spitters},莱克特。注释计算。科学。2758205-220(2003年;Zbl 1279.68287) 全文: 内政部
毛罗·法拉利;皮耶朗基罗·米利奥洛;马里奥·奥尔纳吉 关于一致构造和半构造形式系统。 (英语) Zbl 1021.03053号 日志。J.IGPL公司 11,第1号,1-49(2003). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03楼50 03B55号 03楼55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferrari}等人,Log。J.IGPL 11,编号1,1-49(2003年;Zbl 1021.03053) 全文: 内政部
法鲁兹卡马雷丁;弗朗索瓦·莫宁;毛里西奥·阿亚拉·林科恩 关于使用产品类型自动从证明中提取程序。 (英语) Zbl 1261.68045号 de Queiroz,Ruy(编辑)等人,WoLLIC’2002。2002年7月30日至8月2日,巴西里约热内卢,巴西里约热内卢,里约热内卢天主教大学第九届逻辑、语言、信息和计算研讨会论文集。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记67,233-253(2002)。MSC公司:68号30 03B40型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Kamaredine}等人,《电子》。注释Theor。计算。科学。67、233--253(2002年;Zbl 1261.68045) 全文: 内政部
J.A.伯格斯特拉。;Loots,M.E.先生。 序列代码的程序代数。 (英语) Zbl 1008.68079号 J.日志。代数。程序。 51,第2期,125-156(2002).MSC公司:第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{M.E.Loots},J.Log。代数。程序。51,No.2,125--156(2002;Zbl 1008.68079) 全文: 内政部
Masahiro Nakata;Susumu Hayashi 一阶可实现性的极限解释。 (英语) Zbl 1003.03049号 科学。数学。日本。 55,第3期,567-580(2002).MSC公司:03楼50 03B70号 03天80 65楼03号 第68季度32 第68季度第60季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{M.Nakata}和\textit{S.Hayashi},科学。数学。日本。55,第3号,567--580(2002;Zbl 1003.03049)
乌尔里希·伯杰;威尔弗里德·巴赫霍尔茨;赫尔穆特·施维赫滕贝格 从经典证明中提取的精化程序。 (英语) Zbl 0992.03070号 Ann.纯粹应用。逻辑 114,第1-3、3-25号(2002年).MSC公司:2010年1月3日 第68季度第60季度 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,Ann.Pure Appl。逻辑114,编号1--3,3--25(2002;Zbl 0992.03070) 全文: 内政部
拉法利,C。 完整性、最小逻辑和程序提取。 (英语) Zbl 0971.03033号 西奥。计算。科学。 254,编号1-2,259-271(2001).MSC公司:03B70号 第68季度第60季度 68甲18 03B40型 03秒20 PDF格式BibTeX公司 XML格式引用 \文本{C.Raffalli},Theor。计算。科学。254,编号1--2,259--271(2001;Zbl 0971.03033) 全文: 内政部
乌尔里希·伯杰;赫尔穆特·施维赫滕贝格;莫尼卡·塞森伯格 Warshall算法和Dickson引理:实际程序提取的两个示例。 (英语) Zbl 0958.03009号 J.汽车。推理 26,第2期,205-221(2001).MSC公司:03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,J.Autom。推理26,No.2,205--221(2001;Zbl 0958.03009) 全文: 内政部
A.拉维德。;D.M.贝里。 一种提取和陈述用户界面原型包含的软件需求的方法。 (英语) Zbl 0963.68660号 需求工程5,第4期,225-241(2000)。MSC公司:68单位99 第68季度第60季度 PDF格式BibTeX公司 XML格式 全文: 内政部
Puitg,F。;杜福尔德,J.-F。 高阶逻辑中数学形式化:几何建模案例研究。 (英语) Zbl 0945.68178号 西奥。计算。科学。 234,编号1-2,1-57(2000).MSC公司:05年6月 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{F.Puitg}和\textit{J.F.Dufourd},Theor。计算。科学。234,编号1--2,1--57(2000;Zbl 0945.68178) 全文: 内政部
巴勃罗·阿贡;奥利维尔·鲁克斯 使用形式化方法开发反应系统的一些问题。 (英语) Zbl 0915.68022号 电子。J.萨迪奥 第1期,第52-75页(1998年).MSC公司:68N20型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Argón}和\textit{O.Roux},电子。J.SADIO 1,第1号,52-75(1998年;Zbl 0915.68022) 全文: 欧洲DML EMIS公司
斯特凡诺·贝拉尔迪 删除简单键入的\(\lambda\)-terms。 (英语) Zbl 0863.03007号 J.日志。计算。 6,第5期,663-681(1996). 审核人:N.Bernard(Le Bourget du Lac) MSC公司:03B40型 68号01 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi},J.Log。计算。6,第5号,663--681(1996;Zbl 0863.03007) 全文: 内政部
塔内尔·塔米特 确定答案的解决方案的完整性。 (英语) Zbl 0834.03004号 J.日志。计算。 5,第4号,449-471(1995). 审核人:G.Mints(斯坦福) MSC公司:03B35型 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Tammet},J.Log。计算。5,第4号,449--471(1995;Zbl 0834.03004) 全文: 内政部 链接
Makoto Tatsuta 共导定义的可实现性解释和流的程序合成。 (英语) Zbl 0801.68027号 西奥。计算。科学。 122,编号1-2,119-136(1994).MSC公司:68N17号 第68季度第60季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{M.Tatsuta},Theor。计算。科学。122,编号1--2,119-136(1994;Zbl 0801.68027) 全文: 内政部
高山由纪德 \(QPC_2):具有参数化规范的构造演算。 (英语) Zbl 0804.68085号 J.塞姆。计算。 15,第5-6号,641-672(1993).MSC公司:第68季度第60季度 68问题65 68N17号 35楼03号 03楼50 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Takayama},J.Symb。计算。15,编号5--6641--672(1993;Zbl 0804.68085) 全文: 内政部
斯特凡诺·贝拉尔迪 PER模型在程序提取中的应用。 (英语) Zbl 0797.68108号 数学。结构。计算。科学。 3,第3号,309-331(1993).MSC公司:第68季度第60季度 03年11月15日 03B40型 03楼50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi},数学。结构。计算。科学。3,第3号,309--331(1993;Zbl 0797.68108) 全文: 内政部
Makoto Tatsuta 共导定义的可实现性解释和流的程序合成。 (英语) Zbl 0860.03028号 新一代计算机技术研究所(编辑),第五代计算机系统1992。92年FGCS国际会议。日本1992年,第2卷。阿姆斯特丹:IOS出版社。666-673 (1992).MSC公司:03B70号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Tatsuta},in:第五代计算机系统1992。92年FGCS国际会议。日本1992年,第2卷。阿姆斯特丹:IOS出版社。666--673(1992年;兹bl 0860.03028)
赫尔穆特·施维赫滕贝格 作为程序的证据。 (英语) Zbl 0794.03078号 Aczel,Peter(编辑)等人,证明理论。本文选自1990年7月24日至8月2日在英国利兹大学举行的利兹证明理论国际暑期学校和证明理论会议的论文。剑桥:剑桥大学出版社。81-113 (1992). 审核人:G.Mints(斯坦福) MSC公司:30楼03号 03-04 PDF格式BibTeX公司 XML格式引用 \textit{H.Schwichtenberg},in:证明理论。本文选自1990年7月24日至8月2日在英国利兹大学举行的利兹证明理论国际暑期学校和证明理论会议的论文。剑桥:剑桥大学出版社。81-113(1992年;Zbl 0794.03078)
布鲁诺·库塞尔(编辑) 逻辑与计算机科学导论。(逻辑与信息:引言。莫里斯·尼瓦特的先锋建议。) (法语) 兹比尔0746.00303 Didactique系列. 8. 罗克扬科特:INRIA.257 p.(1991)。 审核人:C.Masalagiu(伊阿什) MSC公司:03-06 00B15号机组 68-06 03-02 68-02 68问题55 03年2月25日 05年3月 35楼03号 03B40型 03B70号 第68季度第60季度 68N17号 03秒20 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}(编辑),Logique et informatique:une简介。莫里斯·尼瓦特的先锋建议。罗克盖恩科特:INRIA(1991;Zbl 0746.03003)
本特·诺德斯特伦;肯特·彼得森;Jan M.史密斯。 马丁洛夫类型理论中的程序设计。引言。 (英语) Zbl 0744.03029号 国际计算机科学专著系列. 7. 牛津:大学出版社。十、 第221页(1990年)。 审核人:R.S.Lubarsky(兰开斯特) MSC公司:03B70号 35楼03号 03-01 68-02 68号01 PDF格式BibTeX公司 XML格式引用 \textit{B.Nordström}等人,《Martin-Löf类型理论中的编程》。介绍。牛津:大学出版社(1990;Zbl 0744.03029)
马克斯·卡诺维奇。 计算模型中的高效程序综合。 (英语) Zbl 0705.68073号 J.逻辑程序。 9,编号2-3,159-177(1990).MSC公司:第68季度第60季度 68立方英尺 68吨15 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{M.I.Kanovich},J.Log。程序。9,No.2--3159--177(1990;Zbl 0705.68073) 全文: 内政部
特隆德·奥尔森。 非同类型存款的资本投资和资源开采。 (英语) Zbl 0669.90032号 J.环境。经济。管理。 17,No.2,127-139(1989).MSC公司:91B76号 91B62型 PDF格式BibTeX公司 XML格式引用 \textit{T.E.奥尔森},J.Environ。经济。管理。17,第2号,127--139(1989;Zbl 0669.90032) 全文: 内政部
乔治·佩特卡;大岛村田 逻辑程序Petri网模型中的证明过程和答案提取。 (英语) Zbl 0665.68082号 IEEE传输。柔和。工程师。 15,No.2,209-217(1989).MSC公司:68吨15 第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Peterka}和\textit{T.Murata},IEEE Trans。柔和。Eng.15,编号02209-217(1989;Zbl 0665.68082) 全文: 内政部
马丁·亨森。;雷蒙德·特纳 用于程序开发的建设性集合理论。 (英语) Zbl 0701.03031号 软件技术和理论计算机科学基础。第八届会议,普纳/印度,1988年,法律。注释计算。科学。338, 329-347 (1988). 审核人:J.Šindelář MSC公司:35楼03号 68号01 03B40型 PDF格式BibTeX公司 XML格式
T·盖格利。;Vershinin,K.P。 自然数学课文与程序。 (英语) 兹比尔0598.68011 软件系统规格说明和综合的数学方法85,Proc。内部弹簧Sch。,Wendisch-Rietz/GDR 1985,数学。第31号决议,第83-100号决议(1986年)。MSC公司:68号01 第68季度第60季度 PDF格式BibTeX公司 XML格式
伊沃·巴布什卡;A.米勒。 有限元法中的后处理方法。三、 后验误差估计和自适应网格选择。 (英语) Zbl 0571.73074号 国际期刊数字。方法工程。 20, 2311-2324 (1984).MSC公司:74S05号 74S99型 PDF格式BibTeX公司 XML格式引用 \textit{I.Babuška}和\textit{A.Miller},国际数学家杂志。《方法工程》,202311-2324(1984;Zbl 0571.73074) 全文: 内政部
马克·曼格尔 水下矿产资源的优化搜索和开采。 (英语) Zbl 0518.90039号 SIAM J.应用。数学。 43, 99-106 (1983). 审核人:István Bogárdi(布达佩斯) MSC公司:90B99型 49甲15 65K10码 90B40码 49立方米 86A20型 49J55型 90立方 90摄氏度 PDF格式BibTeX公司 XML格式引用 \textit{M.Mangel},SIAM J.应用。数学。43、99——106(1983年;Zbl 0518.90039) 全文: 内政部
卡马尔·戈拉比;查尔斯·谢勒(Charles R.Scherer)。 地热储层管理的开采时机和经济激励。 (英语) Zbl 0459.90018号 J.环境。经济。管理。 8156-174年(1981年).MSC公司:91B76号 PDF格式BibTeX公司 XML格式引用 \textit{K.Golabi}和\textit{C.R.Scherer},J.Environ。经济。管理。8156-174(1981年;Zbl 0459.90018) 全文: 内政部