https://dblp.org/pid/s/RichardStatman.html dblp个人页面RSS提要 2024年5月3日，星期五00:10:43+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de（dblp团队） dblp@dagstuhl.de（dblp团队） 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.png网址https://dblp.org/pid/s/RichardStatman.html14451 https://doi.org/10.48550/arXiv.2309.03602理查德·斯塔特曼,吉尔斯·道克:
关于Statman的有限完全性定理。 CoRR公司 abs/2309.03602(2023)]]>https://dblp.org/rec/journals/corr/abs-2309-036022023年1月1日，星期日00:00:00+0100 https://doi.org/10.46298/lmcs-18(3:35)2022安德鲁·波伦斯基,理查德·斯塔特曼:
具有给定交集类型的术语集。 日志。方法计算。科学。 18(3)(2022)]]>https://dblp.org/rec/journals/lmcs/PolonskyS222022年1月1日星期六00:00:00+0100 https://doi.org/10.1007/978-3-030-93100-1_20瑞克·斯塔特曼:
Lambda微积分和组合逻辑的有限生成和表示问题。 线性调频控制系统 2022:316-326]]>https://dblp.org/rec/conf/lfcs/Statman222022年1月1日星期六00:00:00+0100 https://doi.org/10.4230/LIPIcs.FSCD.2021.6瑞克·斯塔特曼:
Church的半群是Sq-Universal。 FSCD公司 2021:6:1-6:6]]>https://dblp.org/rec/conf/fscd/Statman212021年1月1日星期五00:00:00+0100 https://doi.org/10.4204/EPTCS.333.24理查德·斯塔特曼:
只有一个对象的类别中的产品。 ACT公司 2020:347-353]]>https://dblp.org/rec/journals/corr/abs-2101-104942020年1月1日，星期三00:00:00+0100 https://doi.org/10.3233/FI-2019-1864瑞克·斯塔特曼:
交点类型的简单子类型。 芬丹。信息学 170(1-3):307-324(2019)]]>https://dblp.org/rec/journals/fuin/Statman192019年1月1日星期二00:00:00+0100 https://doi.org/10.1007/978-3-319-72056-2_20瑞克·斯塔特曼:
操作语义BCD的完整性。 线性调频控制系统 2018:331-336]]>https://dblp.org/rec/conf/lfcs/Statman182018年1月1日星期一00:00:00+0100 http://arxiv.org/abs/1809.08169理查德·斯塔特曼:
具有给定交集类型的术语集。 CoRR公司 abs/1809.08169(2018)]]>https://dblp.org/rec/journals/corr/abs-1809-081692018年1月1日星期一00:00:00+0100 https://doi.org/10.1017/S0960129515000419贝内代托·因特里吉拉,理查德·斯塔特曼:
Lambda理论允许具有有限个不动点的项。 数学。结构。计算。科学。 27(3):405-427(2017)]]>https://dblp.org/rec/journals/mscs/IntrigilaS172017年1月1日，星期日00:00:00+0100 https://doi.org/10.1017/S0960129515000341瑞克·斯塔特曼:
驯服野生蚂蚁；Böhm猜想的反例。 数学。结构。计算。科学。 27(5):734-737(2017)]]>https://dblp.org/rec/journals/mcs/Statman172017年1月1日，星期日00:00:00+0100 https://doi.org/10.1007/978-3-319-27683-0_27瑞克·斯塔特曼:
征税标签和递归类型。 线性调频控制系统 2016:392-406年]]>https://dblp.org/rec/conf/lfcs/Statman162016年1月1日，星期五00:00:00+0100 https://doi.org/10.4230/LIPIcs.TYPES.2016.15理查德·斯塔特曼:
操作语义BCD的完整性。 类型 2016:15:1-15:5]]>https://dblp.org/rec/conf/types/Statman162016年1月1日，星期五00:00:00+0100 https://doi.org/10.1016/j.entcs.2016.09.044瑞克·斯塔特曼:
关于Lambda演算中半群和其他同余的表示。 MFPS公司 2016:299-304]]>https://dblp.org/rec/journals/entcs/Statman162016年1月1日，星期五00:00:00+0100 https://doi.org/10.1016/j.entcs.2016.09.045瑞克·斯塔特曼:
如何将交集类型视为笛卡尔积。 MFPS公司 2016:305-312]]>https://dblp.org/rec/journals/entcs/Statman16a2016年1月1日，星期五00:00:00+0100 https://doi.org/10.1016/j.jcss.2014.04.008瑞克·斯塔特曼:
关于非类型化术语的多态类型。 J.计算。系统。科学。 80(6):1163-1173年(2014)]]>https://dblp.org/rec/journals/jcss/Statman142014年1月1日星期三00:00:00+0100 https://doi.org/10.1007/978-3-319-08918-8_28瑞克·斯塔特曼:
近半环和兰姆达微积分。 RTA-薄层色谱分析 2014:410-424]]>https://dblp.org/rec/conf/rta/Statman142014年1月1日星期三00:00:00+0100 https://doi.org/10.4204/EPTCS.177.1瑞克·斯塔特曼:
相交类型的有限模型属性。 ITRS公司 2014:1-9]]>https://dblp.org/rec/journals/corr/Statman152014年1月1日星期三00:00:00+0100 http://www.cambridge.org/de/academic/subjects/mathematics/logic-cateries-and-sets/lambda-calculus-types亨德里克·彼得·巴伦德雷特,威尔·德克尔斯,理查德·斯塔特曼:
带类型的Lambda微积分。 逻辑视角,剑桥大学出版社 2013，国际标准图书编号978-0-521-76614-2，第I-XXII页，第1-833页]]>https://dblp.org/rec/books/daglib/00328402013年1月1日星期二00:00:00+0100 https://doi.org/10.4230/LIPIcs.CSL.2013.634瑞克·斯塔特曼:
强规范化项的一种新类型赋值。 CSL公司 2013:634-652]]>https://dblp.org/rec/conf/csl/Statman132013年1月1日星期二00:00:00+0100 https://doi.org/10.3233/FI-2011-560贝内代托·因特里吉拉,理查德·斯塔特曼:
组合逻辑范围问题的求解。 芬丹。信息学 111(2):203-222(2011)]]>https://dblp.org/rec/journals/fuin/IntrigilaS112011年1月1日星期六00:00:00+0100 https://doi.org/10.1007/978-3-642-20920-8_24瑞克·斯塔特曼:
论非类型化术语的多态类型。 沃尔利克 2011:239-256]]>https://dblp.org/rec/conf/wollic/Statman112011年1月1日星期六00:00:00+0100 https://doi.org/10.1016/j.entcs.2010.08.026瑞克·斯塔特曼:
笛卡尔单体。 MFPS公司 2010:437-451]]>https://dblp.org/rec/journals/entcs/Statman102010年1月1日，星期五00:00:00+0100 http://arxiv.org/abs/0903.1374贝内代托·因特里吉拉,理查德·斯塔特曼:
欧米茄法则是∏₁¹-完成λβ-微积分。 日志。方法计算。科学。 5(2)(2009)]]>https://dblp.org/rec/journals/corr/abs-0903-13742009年1月1日星期四00:00:00+0100 https://doi.org/10.2178/jsl/1203350781瑞克·斯塔特曼:
关于alpha转换的复杂性。 J.塞姆。日志。 72(4):1197-1203年(2007)]]>https://dblp.org/rec/journals/jsyml/Statman07网站2007年1月1日星期一00:00:00+0100 https://doi.org/10.1007/978-3-540-73228-0_14贝内代托·因特里吉拉,理查德·斯塔特曼:
欧米茄法则是P₁¹-在中完成兰达贝塔-微积分。 薄层色谱分析 2007:178-193]]>https://dblp.org/rec/conf/tlca/IntrigilaS07网址2007年1月1日星期一00:00:00+0100 https://doi.org/10.2168/LMCS-2(4:5)2006贝内代托·因特里吉拉,理查德·斯塔特曼:
Barendregt问题在Sensible lambda-Theories上的求解。 日志。方法计算。科学。 2(4)(2006)]]>https://dblp.org/rec/journals/lmcs/IntrigilaS062006年1月1日，星期日00:00:00+0100 http://arxiv.org/abs/cs/0609080贝内代托·因特里吉拉,理查德·斯塔特曼:
Barendregt问题在Sensible lambda-Theories上的求解。 CoRR公司 abs/cs/0609080(2006)]]>https://dblp.org/rec/journals/corr/abs-cs-06090802006年1月1日，星期日00:00:00+0100 https://doi.org/10.1016/j.apal.2003.05.001贝内代托·因特里吉拉,理查德·斯塔特曼:
关于lambda演算中可拓性的一些结果。 Ann.纯粹应用。日志。 132(2-3):109-125年(2005)]]>https://dblp.org/rec/journals/apal/IntrigilaS052005年1月1日星期六00:00:00+0100 https://doi.org/10.1007/11601548_5理查德·斯塔特曼,亨克·巴伦德雷格特:
Böhm定理、Church三角洲、数论系统和Ershov态射。 过程、术语和周期 2005:40-54]]>https://dblp.org/rec/conf/birthday/StatmanB052005年1月1日星期六00:00:00+0100 https://doi.org/10.1007/11560586_32理查德·斯塔特曼:
两个变量是不够的。 信息通信与通信系统 2005:406-409]]>https://dblp.org/rec/conf/ictcs/Statman052005年1月1日星期六00:00:00+0100 https://doi.org/10.1016/j.apal.2004.04.004理查德·斯塔特曼:
在lambda上Y（Y）微积分。 Ann.纯粹应用。日志。 130(1-3):325-337(2004)]]>https://dblp.org/rec/journals/apal/Statman042004年1月1日星期四00:00:00+0100 https://doi.org/10.109/LICS.2004.1319614贝内代托·因特里吉拉,理查德·斯塔特曼:
Omega规则在lambda beta-Calculus中是II_2^0-Hard。 低收入国家 2004:202-210]]>https://dblp.org/rec/conf/lics/IntrigilaS042004年1月1日星期四00:00:00+0100 https://doi.org/10.109/LICS.2002.1029825理查德·斯塔特曼:
关于Lambda Y微积分。 低收入国家 2002:159-166]]>https://dblp.org/rec/conf/lics/Statman022002年1月1日，星期二00:00:00+0100 http://content.iospress.com/articles/foundamenta-informaticae/fi45-1-2-06理查德·斯塔特曼:
Jacopini定理的边缘。 芬丹。信息学 45(1-2):117-121(2001)]]>https://dblp.org/rec/journals/fuin/Statman012001年1月1日星期一00:00:00+0100 https://doi.org/10.1007/3-540-44404-1_19理查德·斯塔特曼:
Church的Lambda Delta微积分。 LPAR公司 2000:293-307]]>https://dblp.org/rec/conf/lpar/Statman002000年1月1日星期六00:00:00+0100 https://doi.org/10.1007/10721975_14理查德·斯塔特曼:
关于组合词的单词问题。 区域贸易协定 2000:203-213]]>https://dblp.org/rec/conf/rta/Statman002000年1月1日星期六00:00:00+0100 https://doi.org/10.1017/s0956796899003548理查德·斯塔特曼,亨克·巴伦德雷格特:
Plotkin-Terms的应用：封闭项的划分和形态。 J.功能。程序。 9(5):565-575(1999)]]>https://dblp.org/rec/journals/jfp/StatmanB991999年1月1日，星期五00:00:00+0100 http://journals.cambridge.org/action/displayAbstract？aid=44807理查德·斯塔特曼:
关于n而非n+1容易组合子的存在性。 数学。结构。计算。科学。 9(4):361-365(1999)]]>https://dblp.org/rec/journals/mscs/Statman991999年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/3-540-48959-2_25理查德·斯塔特曼:
Jacopini定理的结果：一致的等式和方程。 薄层色谱分析 1999:355至364]]>https://dblp.org/rec/conf/tlca/Statman991999年1月1日，星期五00:00:00+0100 https://doi.org/10.1007/10703163_21理查德·斯塔特曼:
V集的态射和分划。 CSL公司 1998:313-322]]>https://dblp.org/rec/conf/csl/Statman981998年1月1日星期四00:00:00+0100 https://doi.org/10.2307/2275552巴利亚特·纳伦德兰,弗兰克·普芬宁,理查德·斯塔特曼:
关于笛卡尔闭范畴的统一问题。 J.塞姆。日志。 62(2):636-647(1997)]]>https://dblp.org/rec/journals/jsyml/NarendranPS971997年1月1日星期三00:00:00+0100 https://doi.org/10.1007/3-540-62950-5_79理查德·斯塔特曼:
组合器的有效简化和转换策略。 区域贸易协定 1997:299-307]]>https://dblp.org/rec/conf/rta/Statman97网址1997年1月1日，星期三00:00:00+0100 https://doi.org/10.1007/3-540-63172-0_55理查德·斯塔特曼:
关于笛卡尔幺半群。 CSL公司 1996:446-459]]>https://dblp.org/rec/conf/csl/Statman961996年1月1日星期一00:00:00+0100 https://doi.org/10.1016/0304-3975（93）90096-C理查德·斯塔特曼:
不存在组合器的一些示例。 西奥。计算。科学。 121(1&2):441至448(1993)]]>https://dblp.org/rec/journals/tcs/Statman931993年1月1日，星期五00:00:00+0100 https://doi.org/10.1109/LICS.1993.287600巴利亚特·纳伦德兰,弗兰克·普芬宁,理查德·斯塔特曼:
关于笛卡尔闭范畴的统一问题。 低收入国家 1993:57-63]]>https://dblp.org/rec/conf/lics/NarendranPS931993年1月1日，星期五00:00:00+0100 https://doi.org/10.1016/0020-0190（92）90136-J张开忠,理查德·斯塔特曼,丹尼斯·E·莎莎:
关于无序标记树之间的编辑距离。 信息处理。莱特。 42(3):133-139(1992)]]>https://dblp.org/rec/journals/ipl/ZhangSS921992年1月1日，星期三00:00:00+0100 https://doi.org/10.1109/LICS.1992.185557乌戈·德·利古罗,阿道夫·皮佩诺,理查德·斯塔特曼:
在简单类型的lambda-beta-eta-calculus中缩回。 低收入国家 1992:461-469]]>https://dblp.org/rec/conf/lics/LigoroPS921992年1月1日，星期三00:00:00+0100 https://doi.org/10.1109/LICS.1991.151643理查德·斯塔特曼:
Freyd的组合子单体层次。 低收入国家 1991:186-190]]>https://dblp.org/rec/conf/lics/Statman911991年1月1日，星期二00:00:00+0100 https://doi.org/10.1016/0095-8956（89）90004-X梅里克·L·福斯特,乔纳森·格罗斯,理查德·斯塔特曼:
两类图的亏格分布。 J.库姆。理论，Ser。B类 46(1):22-36(1989)]]>https://dblp.org/rec/journals/jct/FurstGS891989年1月1日，星期日00:00:00+0100 https://doi.org/10.1016/S0747-7171(89)80044-6理查德·斯塔特曼:
Smullyan的云雀组合器的单词问题是可以决定的。 J.塞姆。计算。 7(2):103-112(1989)]]>https://dblp.org/rec/journals/jsc/Statman891989年1月1日，星期日00:00:00+0100 https://doi.org/10.1016/0304-3975(89)90148-5理查德·斯塔特曼:
关于组合方程的解集。 西奥。计算。科学。 66(1):99-104(1989)]]>https://dblp.org/rec/journals/tcs/Statman891989年1月1日，星期日00:00:00+0100 https://doi.org/10.1016/0166-218X(88)90070-4迈克尔·E·萨克斯,瑞克·斯塔特曼:
有限自动机的交集问题。 谨慎。申请。数学。 21(3):245-255(1988)]]>https://dblp.org/rec/journals/dam/SaksS881988年1月1日，星期五00:00:00+0100 http://dl.acm.org/citation.cfm？id=93097约翰·切尔尼亚夫斯基,马亨德兰·维拉萨皮莱,理查德·斯塔特曼:
归纳推理：抽象方法。 柯尔特 1988:251-266]]>https://dblp.org/rec/conf/colt/CherniavskyVS881988年1月1日，星期五00:00:00+0100 https://doi.org/10.1145/41625.41648阿尔伯特·梅耶,约翰·米切尔,尤金尼奥·莫吉,理查德·斯塔特曼:
多形Lambda微积分中的空类型。 POPL公司 1987:253-262]]>https://dblp.org/rec/conf/popl/MeyerMMS871987年1月1日星期四00:00:00+0100 https://doi.org/10.1305/ndjfl/1093636524理查德·斯塔特曼:
求解更高类型的函数方程：一些例子和一些定理。 圣母院J.正式日志。 27(1):66-74(1986)]]>https://dblp.org/rec/journals/ndjfl/Statman861986年1月1日，星期三00:00:00+0100 https://doi.org/10.1016/0304-3975(86)90179-9阿娜·帕兹托,理查德·斯塔特曼:
斯科特归纳和奥米加总结。 西奥。计算。科学。 43:251-263(1986)]]>https://dblp.org/rec/journals/tcs/PasztorS861986年1月1日，星期三00:00:00+0100 https://doi.org/10.1016/0304-3975（86）90085-X理查德·斯塔特曼:
每个可数偏序集都可以嵌入到不可解项的偏序集中。 西奥。计算。科学。 48(3):95-100(1986)]]>https://dblp.org/rec/journals/tcs/Statman861986年1月1日，星期三00:00:00+0100 https://dblp.org/pid/s/RichardStatman.html理查德·斯塔特曼:
关于Lambda术语到组合词的翻译；基础问题。 低收入国家 1986:378-382]]>https://dblp.org/rec/conf/lics/Statman861986年1月1日，星期三00:00:00+0100 https://doi.org/10.1016/S0019-9958(85)80001-2理查德·斯塔特曼:
逻辑关系和类型lambda-Calculus。 信息控制。 65(2/3):85-97(1985)]]>https://dblp.org/rec/journals/iandc/Statman851985年5月1日星期三01:00:00+0200 https://doi.org/10.1145/2422.322414卡特里尔·比里,马丁·多德,罗纳德·费金,理查德·斯塔特曼:
功能依赖的阿姆斯特朗关系结构。 美国临床医学杂志 31(1):30-46(1984)]]>https://dblp.org/rec/journals/jacm/BeeriDFS841984年1月1日，星期日00:00:00+0100 https://doi.org/10.1007/BF02023009理查德·斯塔特曼:
λ-可定义泛函和βη转换。 架构（architecture）。数学。日志。 23(1):21-26(1983)]]>https://dblp.org/rec/journals/aml/Statman831983年1月1日星期六00:00:00+0100 https://doi.org/10.1016/0020-0190(82)90121-1哈里·刘易斯,理查德·斯塔特曼:
co-NLogSpace的统一性是完全的。 Inf.流程。莱特。 15(5):220-222(1982)]]>https://dblp.org/rec/journals/ipl/LewisS821982年1月1日，星期五00:00:00+0100 https://doi.org/10.1002/jgt.3190060406理查德·斯塔特曼:
三次图的拓扑子图和dirac的一个定理。 J.图论 6(4):419-427(1982)]]>https://dblp.org/rec/journals/jgt/Statman821982年1月1日，星期五00:00:00+0100 https://doi.org/10.2307/2273377理查德·斯塔特曼:
完备性、不变性和lambda可定义性。 J.塞姆。日志。 47(1):17-26(1982)]]>https://dblp.org/rec/journals/jsyml/Statman821982年1月1日，星期五00:00:00+0100 https://doi.org/10.1016/0012-365X(81)90177-1理查德·斯塔特曼:
图重建猜想的约简。 谨慎。数学。 36(1):103-107(1981)]]>https://dblp.org/rec/journals/dm/Statman811981年1月1日星期四00:00:00+0100 https://doi.org/10.1016/0304-3975(81)90086-4理查德·斯塔特曼:
关于类型lambda演算中闭项的存在性Ⅱ：统一问题的变换。 西奥。计算。科学。 15:329-338(1981)]]>https://dblp.org/rec/journals/tcs/Statman811981年1月1日星期四00:00:00+0100 https://doi.org/10.109/SFCS.1981.24理查德·斯塔特曼:
可由多态程序计算的数论函数（扩展抽象）。 光纤通信系统 1981:279-282]]>https://dblp.org/rec/conf/focs/Statman811981年1月1日星期四00:00:00+0100 https://doi.org/10.1305/ndjfl/1093883175理查德·斯塔特曼:
解决张和李的问题。 圣母院J.正式日志。 21(3):第518页至第520页(1980)]]>https://dblp.org/rec/journals/ndjfl/Statman801980年1月1日星期二00:00:00+0100 https://doi.org/10.1137/0209008理查德·斯塔特曼:
具有参数调制的输入分辨率的最坏情况指数下界。 SIAM J.计算。 9(1):104-110(1980)]]>https://dblp.org/rec/journals/siamcomp/Statman801980年1月1日星期二00:00:00+0100 https://doi.org/10.1016/0304-3975(79)90006-9理查德·斯塔特曼:
直觉命题逻辑是多项式空间完备的。 西奥。计算。科学。 9:67-72(1979)]]>https://dblp.org/rec/journals/tcs/Statman791979年1月1日，星期一00:00:00+0100 https://doi.org/10.1016/0304-3975(79)90007-0理查德·斯塔特曼:
类型化lambda-Calculus不是初等递归。 理论。计算。科学。 9:73-81(1979)]]>https://dblp.org/rec/journals/tcs/Statman79a1979年1月1日，星期一00:00:00+0100 https://doi.org/10.1007/BFb0022463约翰·古雷,威廉·C·罗兹,理查德·斯塔特曼:
关于并发系统的收缩所保持的性质。 并发计算的语义 1979:51-65]]>https://dblp.org/rec/conf/scc/GourlayRS791979年1月1日，星期一00:00:00+0100 https://doi.org/10.109/SFCS.1977.34理查德·斯塔特曼:
类型化的lambda-Calculus不是初等递归。 光纤通信系统 1977:90-94]]>https://dblp.org/rec/conf/focs/Statman771977年1月1日星期六00:00:00+0100