OEIS哀悼西蒙斯感谢西蒙斯基金会支持包括OEIS在内的许多科学分支的研究。
登录
OEIS由支持OEIS基金会的许多慷慨捐赠者

 

标志
提示
(来自的问候整数序列在线百科全书!)
A294451型 大小为n的lambda项的简单型正规形式的数目。 0
0, 0, 1, 1, 2, 3, 7, 11, 25, 52, 110, 241, 537, 1219, 2767, 6439, 14945, 35253, 83214 (列表;图表;参考文献;;历史;文本;内部格式)
抵消
0,5
链接
Maciej Bendkowski、K.Grygiel、P.Tarau、,封闭简单型lambda-terms的随机生成:逻辑编程和Boltzmann采样器之间的协同作用,arXiv预打印arXiv:1612.07682[cs.LO],2016-2017。
交叉参考
关键词
非n,更多
作者
N.J.A.斯隆2017年11月22日
状态
经核准的

查找|欢迎光临|维基|注册|音乐|地块2|演示|索引|浏览|更多|网络摄像头
贡献新序列。或评论|格式|样式表|变换|超级搜索|最近
OEIS社区|维护人OEIS基金会。

许可协议、使用条款、隐私政策。

上次修改时间:2024年6月19日00:22 EDT。包含373492个序列。(在oeis4上运行。)