我们非常感谢支持
西蒙斯基金会和成员机构。

逻辑

最近提交的作者和标题

[总共23个条目:1-23]
[每页显示最多25个条目:较少|更多的]

2021年6月14日星期一

[1] 必威精装版App西汉姆联arxiv:2106.06205.[PDF.PS.其他]
标题:时间扭曲,从代数到算法
注释:提交给会议
主题: 逻辑(math.lo);计算机科学逻辑(CS.LO);编程语言(CS.PL)

星期五,2021年6月11日

[2] 必威精装版App西汉姆联arxiv:2106.05916[PDF.PS.其他]
标题:可衡量的红衣主教和可粘贴的公理
注释:11页
主题: 逻辑(math.lo)
[3] 必威精装版App西汉姆联arxiv:2106.05794[PDF.PS.其他]
标题:在自然理论的层次结构上
作者: 詹姆斯沃尔什
主题: 逻辑(math.lo)
[4] 必威精装版App西汉姆联arxiv:2106.05698[PDF.PS.其他]
标题:关于有限元尺寸的伪模型群组的说明
作者: UllaKarhumäki.
主题: 逻辑(math.lo);集团理论(Math.gr)
[5] 必威精装版App西汉姆联arxiv:2106.05602[PDF.PS.其他]
标题:Heine-Borel定理的分裂和鲁棒性
作者: 山姆桑德斯
注释:12页,出现在CIE2021的LNCS课程中
主题: 逻辑(math.lo)
[6] 必威精装版App西汉姆联arxiv:2106.05573[PDF.PS.其他]
标题:广义基本逻辑的一些模态和时间翻译
主题: 逻辑(math.lo);计算机科学逻辑(CS.LO)
[7] 必威精装版App西汉姆联arxiv:2106.05570.[PDF.PS.其他]
标题:可分地区近循环有序组和最小C. O. G的模型理论。
作者: GérardLeloup.(LMM)
主题: 逻辑(math.lo);戒指和代数(math.ra)
[8] 必威精装版App西汉姆联arxiv:2106.05372[PDF.PS.其他]
标题:关于可计算地呈现的公制结构理论的复杂性
主题: 逻辑(math.lo)
[9] 必威精装版App西汉姆联arxiv:2106.05369.[PDF.PS.其他]
标题:关于修订的GCH的注释
作者: 托德艾斯沃思
主题: 逻辑(math.lo)
[10] 必威精装版App西汉姆联arxiv:2106.05461(来自math.gr的跨列表)[PDF.其他]
标题:随机组中的一阶句子
主题: 集团理论(Math.gr);逻辑(math.lo)

星期四,2021年6月10日

[11] 必威精装版App西汉姆联arxiv:2106.05064[PDF.PS.其他]
标题:尖锐的元素和连续DCPO的斯科特拓扑
作者: 汤姆·杰恩
主题: 逻辑(math.lo);计算机科学逻辑(CS.LO)
[12] 必威精装版App西汉姆联arxiv:2106.05154(来自math.gr的跨列表)[PDF.PS.其他]
标题:Cherlin对有限原始二元排放组的猜想
注释:158页
主题: 集团理论(Math.gr);逻辑(math.lo)
[13] 必威精装版App西汉姆联arxiv:2106.04894(来自Math.co的跨列表)[PDF.PS.其他]
标题:几何和o - 最小的小木开关问题
主题: 组合学(Math.co);逻辑(math.lo)
[14] 必威精装版App西汉姆联arxiv:2106.04728(来自Math.co的跨列表)[PDF.其他]
标题:通过影响连接的括号公式的真理表的代数结构的注意事项
作者: Volkan Yildiz
注释:6页,2个数字
主题: 组合学(Math.co);逻辑(math.lo)
[15] 必威精装版App西汉姆联arxiv:2106.04683(来自cs.ai的跨列表)[PDF.PS.其他]
标题:集群分析的一般粗略建模
作者: A. MANI.
注释:Ifsa-Eusflat 2021诉讼中的纸预先印刷品
主题: 人工智能(CS.AI);机器学习(CS.LG);逻辑(math.lo)

星期三,2021年6月9日

[16] 必威精装版App西汉姆联arxiv:2106.04244[PDF.PS.其他]
标题:当所有套装都是普遍的拜尔德时,确定性的一致性强度
作者: 桑德拉米勒
主题: 逻辑(math.lo)
[17] 必威精装版App西汉姆联arxiv:2106.04544(Quant-ph的跨列表)[PDF.PS.其他]
标题:Everettian Mechanics与多种世界
注释:22页。第一个版本;评论非常欢迎!
主题: 量子物理(量子pH);数学物理(数学pH);逻辑(math.lo)

星期二,2021年6月8日

[18] 必威精装版App西汉姆联arxiv:2106.03779.[PDF.PS.其他]
标题:在AntiChain树财产上
主题: 逻辑(math.lo)
[19] 必威精装版App西汉姆联arxiv:2106.03656[PDF.PS.其他]
标题:矫正器格子及其逻辑的负面翻译
主题: 逻辑(math.lo);量子物理(量子pH)
[20] 必威精装版App西汉姆联arxiv:2106.03561[PDF.PS.其他]
标题:可粘接的链条条件
注释:13页
主题: 逻辑(math.lo)
[21] 必威精装版App西汉姆联arxiv:2106.03061.[PDF.其他]
标题:用于计算性理论家的Lawvere-Tierney拓扑
作者: Takayuki Kihara.
主题: 逻辑(math.lo);计算机科学逻辑(CS.LO);类别理论(Math.ct)
[22] 必威精装版App西汉姆联arxiv:2106.03782(来自math.gr的跨列表)[PDF.PS.其他]
标题:论群体图形产品的基本理论
注释:80页,5个数字
主题: 集团理论(Math.gr);几何拓扑(Math.gt);逻辑(math.lo)
[23] 必威精装版App西汉姆联arxiv:2106.03015(来自cs.lg的跨列表)[PDF.其他]
标题:学习尼利语半群分类的证明
作者: 卡洛斯辛普森
主题: 机器学习(CS.LG);逻辑(math.lo);戒指和代数(math.ra)
[总共23个条目:1-23]
[每页显示最多25个条目:较少|更多的]

禁用mathjax.什么是mathjax?

链接到:必威精装版App西汉姆联表单界面数学新的2106接触Help.访问钥匙信息)