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
链接
n=0..18时的n、a(n)表。
Maciej Bendkowski、K.Grygiel、P.Tarau、,
封闭简单型lambda-terms的随机生成:逻辑编程和Boltzmann采样器之间的协同作用
,arXiv预打印arXiv:1612.07682[cs.LO],2016-2017。
交叉参考
上下文中的序列:
A238312型
A121268号
A101173号
*
A005246号
A116406号
A354540型
相邻序列:
A294448号
A294449号
A294450型
*
A294452型
A294453型
A294454型
关键词
非n
,
更多
作者
N.J.A.斯隆
2017年11月22日
状态
经核准的
查找
|
欢迎光临
|
维基
|
注册
|
音乐
|
地块2
|
演示
|
索引
|
浏览
|
更多
|
网络摄像头
贡献新序列。
或评论
|
格式
|
样式表
|
变换
|
超级搜索
|
最近
OEIS社区
|
维护人
OEIS基金会。
许可协议、使用条款、隐私政策。
。
上次修改时间:2024年6月19日00:22 EDT。
包含373492个序列。
(在oeis4上运行。)