×
约尔格恩德鲁利斯;迪米特里·亨德里克斯;雷娜·巴赫西;格里高·罗什乌

关于流相等的复杂性。 （英语） Zbl 1297.68050号

J.功能。程序。 24，第2-3号，166-217（2014）.
摘要：我们研究了确定由方程组指定的流的相等性的复杂性。文献中有几个流模型的概念，每一个都产生了流相等的不同语义。我们在算术或分析层次结构中精确指出了这些概念的复杂性。它们的复杂性从低层次的算术层次结构，如\（\Pi^{0}_{2} \）对于最宽松的流模型，达到分析层次结构的级别，例如\（\Pi^{1}_{1} \），以及包含更具限制性但更自然的流模型的整个分析层次。由于所有这些类都适当地包括了半可判定类和共半可判定的类，因此，无论使用何种流语义，都没有完整的证明系统或算法来确定流的相等或不相等。我们还讨论了几个相关的问题，例如方程组流解的存在性和唯一性，以及这些解的相等性。

引用于1文件

MSC公司：

68甲18 函数编程和lambda演算

软件：

中国保监会;哈斯克尔;莫德
PDF格式BibTeX公司 XML格式引用
\textit{J.Endrullis}等人，J.Funct。程序。24、编号2--3、166-217（2014；Zbl 1297.68050）
全文： 内政部

参考文献：

[1] 证明类型和程序研讨会会议记录（Types 2008）第272页–（2009）
[2] 编程人工智能和推理逻辑会议记录（LPAR 2008）第79页–（2008）
[3] 内政部：10.1016/0304-3975（91）90040-9·兹伯利0759.68044 ·doi:10.1016/0304-3975（91）90040-9
[4] 内政部：10.4204/EPTCS.43.3·doi:10.4204/EPTCS.43.3
[5] 计算机科学中代数和余代数会议记录（CALCO 2009）第433页–（2009）
[6] 证明类型和程序会议记录（Types 1993）第62页–（1993）
[7] 重写技术和应用会议记录（RTA 2003）第76–（2003）页
[8] 内政部：10.1145/363744.363749·Zbl 0134.33403号 ·doi:10.1145/363744.363749
[9] DOI:10.1002/malq.19890350406·Zbl 0661.03030号 ·doi:10.1002/malq.19890350406
[10] 《我们将向他们展示：纪念Dov Gabbay的论文》（2）（2005）·兹比尔1202.03006
[11] 数字对象标识码：10.1016/S1571-0661（05）80756-X·doi:10.1016/S1571-0661（05）80756-X
[12] 逻辑方法计算。科学。第6页第1页–（2010年）
[13] Lambda——微积分与计算机科学理论：1975年3月25日至27日在罗马举行的研讨会论文集（1975）
[14] DOI:10.1016/S0304-3975（96）00171-5·Zbl 0903.68105号 ·doi:10.1016/S0304-3975（96）00171-5
[15] 内政部：10.1016/S0304-3975（02）00865-4·Zbl 1038.68079号 ·doi:10.1016/S0304-3975（02）00865-4
[16] 递归理论层次（1978）·兹伯利0371.02017
[17] 非外资机构（1988年）
[18] DOI:10.1007/BF01642507·Zbl 0739.68060号 ·doi:10.1007/BF01642507
[19] ACM SIGACT-SIGPLAN编程语言原则研讨会论文集（POPL 1976）。第95页–（1976）
[20] 动态逻辑（2000）·兹伯利0976.68108
[21] 计算理论专题，国际计算理论基础会议论文集，FCT 1983第51页–（1985）
[22] 递归函数理论与有效可计算性（1967）·Zbl 0183.01401号
[23] DOI:10.1016/j.ic.2010.09.003·Zbl 1210.68064号 ·doi:10.1016/j.ic-2010年9月03日
[24] Haskell 98语言与图书馆，修订报告（2003年）
[25] 代数规范基础1：方程和初始语义（1985）·Zbl 0557.68013号
[26] 函数理论与自然数集（1999）
[27] 函数理论与自然数集（1992）
[28] 计算机科学逻辑研讨会论文集（LICS 2012）。第335页–（2012年）
[29] 内政部：10.1145/321992.321997·Zbl 0359.68018号 ·数字对象标识代码：10.1145/321992.321997
[30] DOI:10.1016/S0304-3975（99）00275-3·Zbl 0946.68070号 ·doi:10.1016/S0304-3975（99）00275-3
[31] 计算机科学中的拓扑和范畴理论。第357页–（1991）
[32] 带迭代和递归的归纳和共归纳类型第193页–（1992）
[33] DOI:10.145/15042.15053·数字对象标识代码：10.1145/15042.15053
[34] 自动化、语言和编程国际学术讨论会论文集（ICALP 1976）第257页–（1976）
[35] 术语重写系统（2003）·Zbl 1030.68053号
[36] DOI:10.1016/j.ipl.2009.09.002·Zbl 1206.68115号 ·doi:10.1016/j.ipl.2009.09.002
[37] 术语图改写：理论与实践（1993）
[38] 内政部：10.1145/69558.69563·数字对象标识代码：10.1145/69558.69563
[39] 内政部：10.1016/j.tcs.2012.08.18·Zbl 1284.68323号 ·doi:10.1016/j.tcs.2012.08.018
[40] J.整数11B pp 1–（2011）
[41] 不溶性程度（1971）·Zbl 0245.02037号
[42] 交互式定理证明会议记录（ITP 2013）第354页–（2013）
[43] DOI:10.1017/S0960129504004517·Zbl 1068.68061号 ·doi:10.1017/S0960129504004517
[44] ACM SIGPLAN功能编程国际会议记录（ICFP 2013）。第153页–（2012年）
[45] DOI:10.1016/S0304-3975（02）00895-2·Zbl 1071.68050号 ·doi:10.1016/S0304-3975（02）00895-2
[46] LIPIcs第6页第85页–（2010年）
[47] DOI:10.1016/S0304-3975（00）00056-6·Zbl 0951.68038号 ·doi:10.1016/S0304-3975（00）00056-6
[48] DOI:10.1016/j.tcs.2009.10.014·Zbl 1183.68162号 ·doi:10.1016/j.tcs.2009.10.014
[49] ACM SIGPLAN函数编程会议记录（ICFP 2006）。第184页–（2006）
[50] 自动扣除会议记录（CADE 22）第371页–（2009年）
[51] 第八届自动化、语言和编程学术讨论会论文集（ICALP 1981）第238页–（1981）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。