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

计算机科学逻辑

最近提交的作者和标题

[共有47个条目:1-25|26-47]
[每页显示25个条目:较少|更多的|所有]

星期五,7月7日2021年

[1] 必威精装版App西汉姆联arxiv:2105.02842[PDF.其他]
标题:非线性重写理论的并发定理
作者: Nicolas Behr.(大学巴黎,CNR,IRIF),俄国人的伤害(Univ。Lyon,Ensl,Ucbl,CNR,嘴唇,法国),琼Krivine(巴黎大学,CNRS,IRIF)
注释:19 + 14页,LNCS风格;ICGT 2021会议纸张扩展版
主题: 计算机科学逻辑(CS.LO)
[2] 必威精装版App西汉姆联arXiv: 2105.02559[PDF.PS.其他]
标题:概率性的Bigraphs
注释:20页,15个数字
主题: 计算机科学逻辑(CS.LO)
[3] 必威精装版App西汉姆联arxiv:2105.02485[PDF.其他]
标题:无害策略的位置注入
作者: Lison Blondeau-Patistier(ens lyon),Pierre Clairambault.(唇,羽毛)
杂志 - ref:第六届计算和推论的正式结构国际会议,2021年7月,阿根廷布宜诺斯艾利斯
主题: 计算机科学逻辑(CS.LO);编程语言(cs.PL)
[4] 必威精装版App西汉姆联arxiv:2105.02444[PDF.PS.其他]
标题:并行顺序组合、管道和硬件弱内存模型
作者: 罗伯特J.COLVIN.
主题: 计算机科学逻辑(CS.LO)
[5] 必威精装版App西汉姆联arxiv:2105.02352[PDF.PS.其他]
标题:输入交叉类型的唯一性
主题: 计算机科学逻辑(CS.LO);逻辑(math.lo)
[6] 必威精装版App西汉姆联arXiv: 2105.02309[PDF.其他]
标题:双推O重写的概括并发规则构造
注释:36页,33个数字,在第14届图表转型国际会议上被公布(ICGT)2021
主题: 计算机科学逻辑(CS.LO)
[7] 必威精装版App西汉姆联arxiv:2105.02639.(cross-list from math.PR) [PDF.PS.其他]
标题:De Finetti在分类概率中的定理
注释:30页,1个数字
主题: 概率(math.pr);计算机科学中的逻辑(cs.LO);类别理论(Math.ct);统计理论(Math.st)
[8] 必威精装版App西汉姆联arxiv:2105.02611(cross-list from cs.FL) [PDF.其他]
标题:一点不确定,使下推自动发展是表现力和简洁的
主题: 正式语言和自动机理论(CS.FL);计算机科学逻辑(CS.LO)
[9] 必威精装版App西汉姆联arXiv: 2105.02541(来自cs.pl的跨列表)[PDF.PS.其他]
标题:再次返回:通过符号致象限于致象限性检查来验证节目等价
主题: 编程语言(cs.PL);计算机科学逻辑(CS.LO)
[10] 必威精装版App西汉姆联arxiv:2105.02283.(来自cs.ai的跨列表)[PDF.其他]
标题:手术室(RE)通过ASP与床管理调度
注释:逻辑编程理论与实践的考虑(TPLP)
主题: 人工智能(CS.AI);计算机科学逻辑(CS.LO)
[11] 必威精装版App西汉姆联arxiv:2105.02264(来自cs.ai的跨列表)[PDF.其他]
标题:本体网络中的人类活动识别模型
注释:本文于4月2021年4月2021年4月2021年和DOI 10.1109 / TCYB.2021.3073539上的IEEE交易中被接受了公布。这是一个延伸必威精装版App西汉姆联arxiv:1707.03988v1它与之相关必威精装版App西汉姆联arxiv:1809.08208v1文章。它包含20页,6个数字,4个表格和2个附录
杂志 - ref:IEEE Combernetics的交易,2021
主题: 人工智能(CS.AI);计算机科学中的逻辑(cs.LO);软件工程(CS.SE)

星期四,5月6日2021年

[12] 必威精装版App西汉姆联arxiv:2105.02013[PDF.其他]
标题:顺序信息流量的味道
主题: 计算机科学逻辑(CS.LO)
[13] 必威精装版App西汉姆联arxiv:2105.01861.[PDF.其他]
标题:高阶模型逐步检查
作者: PawełCarys.
注释:这是在ICLP 2021会议上发布的纸张的扩展版本
主题: 计算机科学逻辑(CS.LO);正式语言和自动机理论(CS.FL)
[14] 必威精装版App西汉姆联arxiv:2105.02156.(来自cs.pl的跨列表)[PDF.其他]
标题:滑轮类别的递归和顺序
主题: 编程语言(cs.PL);计算机科学中的逻辑(cs.LO);类别理论(Math.ct)
[15] 必威精装版App西汉姆联arxiv:2105.01724(cross-list from math.CT) [PDF.其他]
标题:合成纤维$(\ infty,1)$ - 类别理论
注释:评论欢迎
主题: 类别理论(Math.ct);计算机科学中的逻辑(cs.LO);代数拓扑(math.AT);逻辑(math.lo)

20月5日星期三

[16] 必威精装版App西汉姆联arxiv:2105.01382[PDF.PS.其他]
标题:决策树的解剖证明系统
主题: 计算机科学逻辑(CS.LO);逻辑(math.lo)
[17] 必威精装版App西汉姆联arxiv:2105.01512(cross-list from cs.FL) [PDF.其他]
标题:通过回合字母到字母的传感器模拟
主题: 正式语言和自动机理论(CS.FL);计算机科学逻辑(CS.LO)
[18] 必威精装版App西汉姆联arxiv:2105.01112(来自cs.sc的跨列表)[PDF.其他]
标题:高阶重写的元组解释
作者: 脱羊谷Cynthia Kop.
主题: 符号计算(cs.SC);计算机科学逻辑(CS.LO)

2021年5月4日(星期二)

[19] 必威精装版App西汉姆联arxiv:2105.00969.[PDF.其他]
标题:抽象语法的抽象克隆
注释:出现在FSCD 2021会议记录中;16页
主题: 计算机科学逻辑(CS.LO);编程语言(cs.PL)
[20] 必威精装版App西汉姆联arxiv:2105.00885.[PDF.PS.其他]
标题:使用基于BDD的SAT Solver生成扩展分辨率证明
注释:在TACAS 2021发布的纸张扩展版本
主题: 计算机科学逻辑(CS.LO)
[21] 必威精装版App西汉姆联arxiv:2105.00748[PDF.PS.其他]
标题:(原子)多态性是什么
主题: 计算机科学逻辑(CS.LO);逻辑(math.lo)
[22] 必威精装版App西汉姆联arxiv:2105.00735.[PDF.PS.其他]
标题:寻找丢失的时间:过程代数中公理化并行复合
注释:必威精装版App西汉姆联ARXIV Admin注意:文本重叠必威精装版App西汉姆联arxiv:2010.01943必威精装版App西汉姆联arXiv: 2102.11166
主题: 计算机科学逻辑(CS.LO)
[23] 必威精装版App西汉姆联arxiv:2105.00669[PDF.其他]
标题:在Quasilinear时间逐步解释行为不平等
主题: 计算机科学逻辑(CS.LO)
[24] 必威精装版App西汉姆联arxiv:2105.00564.[PDF.PS.其他]
标题:按压值调用紧密性的力量
主题: 计算机科学逻辑(CS.LO);编程语言(cs.PL)
[25] 必威精装版App西汉姆联arxiv:2105.00188[PDF.PS.其他]
标题:LR-MultiSemigroups和模态卷积代数
注释:38页,1个数字
主题: 计算机科学逻辑(CS.LO);戒指和代数(math.ra)
[共有47个条目:1-25|26-47]
[每页显示25个条目:较少|更多的|所有]

禁用mathjax.MathJax是什么?

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