计算机科学中的逻辑方法,第17卷
第17卷第1期,2021年1月
马里奥·布拉维蒂 :
公理化最大进度和离散时间。 悉达赫·巴斯卡尔 , 亚历克斯·克鲁克曼 :
最小不动点逻辑和McColm猜想的驯服。 丹尼尔·卡兰萨 , 张洋洋 , 克里斯·卡普尔金 , 瑞恩·桑德福德 :
同伦类型理论中的2-伴随等价。 Bin Wang(王斌) , 沈钧(音) , 张树涛 , Zhizheng Zhang(张志正) :
关于LPMLN程序的强等价性。 米科拉伊·博扬奇克 , 马丁·格罗赫 , 迈克尔·皮利普祖克 :
有界线性团宽图的可定义分解。 约阿希姆·帕罗 , 约翰内斯·博格斯特罗姆 , 拉尔斯·亨利克·埃里克森 , 拉蒙娜斯·古特科瓦斯 , 贾克·韦伯 :
标称过渡系统的模态逻辑。 安东尼奥·布恰雷利 , 迪莉娅·凯斯纳 , 西蒙娜·隆奇·德尔拉·罗卡 :
可解决性=典型性+居住性。 莫里斯·拉维奥 , 简·弗里索·格鲁特 , 蒂姆·A·C·威姆斯 :
用于细化检查的正确有效的反链算法。 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 , 七一汤 , 弗兰克·范·布鲁格尔 :
概率自动机的概率双相似距离计算。 米拉德·阿加乔哈里 , 盖伊·阿夫尼 , 托马斯·汉津格 :
离散投标无限期博弈中的确定性。 布鲁诺·库塞尔 :
有序理论树中介数的公理化。 西迪·穆罕默德·贝拉希 , 艾哈迈德·布阿贾尼 , 康斯坦丁埃纳 :
针对交易因果一致性的稳健性。 布里杰什·多戈尔 , 伊恩·J·海斯 , 乔治·斯特鲁斯 :
卷积代数:关系卷积,广义模态和关联代数。 巴斯·卢提克 , 费扬 :
π-演算是行为完备的,轨道有限可执行的。 克里斯蒂安·埃内 , 劳伦特·穆尼尔 , 玛丽·劳雷·波特 :
输出敏感信息流分析。 阿西娅·马赫布比 , 托马斯·西布特皮诺特 :
ζ(3)非理性的形式证明。 简·A·伯格斯特拉 , 阿尔班·蓬塞 :
定义自然和整数重写系统的数据类型。 长谷龙郎 :
控制算子的完全Call-by-Value演算Ⅱ:强终止。 马里奥·布拉维蒂 , 马克·卡博尼 , 朱利安·兰格 , 吉田信子 , 吉安路易吉·扎瓦塔罗 :
异步会话子类型的声音算法及其实现。 德克·帕丁森 , 米娜·穆罕默德 :
具有经典见证人的建设性领域。 弗雷德里克·梅耶·伯内兰 , 彼得·杰勒·詹森 , 金·古德斯特兰·拉森 , 马可·穆尼兹 , 吉尔·斯尔巴 :
双人可达性游戏的顽固集减少。 莱奥·埃西巴德 , 艾曼纽尔·菲利奥特 , 皮埃尔·阿兰·雷尼尔 :
数据字转换器的合成。 纳塔莉·贝特朗 , 帕特里夏·鲍耶 , 阿尼尔班·马朱姆达尔 :
参数化广播网络中的重新配置和消息丢失。
2021年第2期第17卷
亚历山大·本特坎普 , 布兰切特 , 西蒙·克鲁恩斯 , 乌韦·沃尔德曼 :
Lambda-Free高阶逻辑的叠加。 陶谷 , 法比奥·扎纳西 :
概率逻辑编程的协同语义。 简·帕科尔 , 佩德罗·桑切斯地形 :
标记马尔可夫过程的半拉回。 Iosif Petrakis公司 :
Bishop空间的直接谱及其极限。 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 克里斯托弗·特罗特 , Krzysztof齐米扬斯基 :
同时雕刻。 阿奇姆·布卢门萨特 :
Eilenberg-Moore代数的代数语言理论。 赫尔穆特·施维赫滕贝格 , Franziskus Wiesnet公司 :
精确实数运算的逻辑。 萨姆·巴斯 , 尼尔·萨彭 :
没有新变量的DRAT和传播冗余证明。 罗布·范·格拉贝克 :
带超时的进程代数的故障跟踪语义。 埃蒂安·安德烈 , 迪迪埃·莱姆 , 马蒂亚斯·拉普拉森 :
参数时间自动机中的参数更新。 马蒂恩·亨德里克斯 , 马克·盖伦 , 基斯·古森 , 罗布·德容 , 特万·巴斯滕 :
质量和资源管理界面建模。 玛丽亚·艾米莉亚·梅耶蒂 , 萨缪尔·马斯基奥 , 迈克尔·拉什扬 :
归纳形式拓扑、Church’s Thesis和Axiom of Choice的可实现语义。 Tatsuji Kawai公司 :
连续格的预测理论。 杰里·阿达梅克 :
代数余完备与有限函子。 费恩雷 , 马丁·盖林 , 马蒂亚斯·姆尼奇 , 拉胡尔·萨瓦尼 :
可达性切换游戏。 尼科洛·维尔特里 , 尼尔斯·范德魏德 :
将高归纳类型构造为类群商。 伯特·林登霍维斯 , 迈克尔·米斯洛夫 , 弗拉基米尔·扎姆德日耶夫 :
线性/非线性不动点微积分。 汤姆·马斯珀斯 , 马库斯·克罗奇 :
部分有序自动机和分段可测试性。 木村大辅 , Makoto Tatsuta公司 :
带数组的符号堆蕴涵的可判定性。 弗洛里安·斯坦博格 , 洛朗·塞里 , 霍尔格·蒂斯 :
Coq中的可计算分析和连续性概念。 Benedikt Ahrens公司 , 安德烈·赫肖维茨 , 安布罗西·拉丰 , 马可·马格西 :
可呈现的签名和初始语义。 亚历克西斯·贝斯 , 克里斯蒂安·乔夫鲁特 :
整数有谓词和无谓词的实数加法理论。 约格·恩德鲁利斯 , 简·威廉·克洛普 , 罗伊·奥弗贝克 :
明星游戏和九头蛇。 罗斯·霍恩 , 绍克·莫 :
使用Bisimility发现ePassport漏洞。 24 弗·扬·德弗里斯 :
在λ-演算中编码多值逻辑。 25
2021年第17卷第3期
迈克尔·布隆丁 , 克里斯托夫·哈斯 , 菲利普·马佐维耶基 , 米哈伊尔·拉斯金 :
带状态的整数向量加法系统的仿射扩张。 Ki Yung Ahn(基永安) , 罗斯·霍恩 , Alwen Tiu先生 :
使用直觉模态逻辑描述开放双相似性。 迈克尔·布隆丁 , 米哈伊尔·拉斯金 :
状态仿射向量加法系统可达性的复杂性。 菲利普·海罗尼米 , Danny Nguyen(丹尼·阮) , 伊戈尔·帕克 :
带有代数标量乘法的Presburger算法。 卡洛斯·阿雷塞斯 , 劳尔·费尔瓦里 :
公理化混合XPath和数据。 罗德·唐尼 , 亚历山大·梅尔尼科夫 , Keng Meng Ng公司 :
在线结构理论基础II:算子方法。 Agnishom Chattopadhyay公司 , 菲利普·马佐维耶基 , 安卡·穆斯科尔 , 克里斯蒂安·里弗罗斯 :
加权自动机的泵引理。 托马斯·内勒 , 安蒂·瓦尔马里 , 蒂姆·A·C·威姆斯 :
口吃保留部分顺序减少的标签不一致问题的详细说明。 丹·弗鲁明 , 罗伯特·克雷伯斯 , 拉尔斯·伯克达尔 :
ReLoC重新加载:一种用于细粒度并发和逻辑原子性的机械化关系逻辑。 菲利波·邦奇 , 亚历山德拉·席尔瓦 , 安娜·索科洛娃 :
通过凸代数幂的分布双相似性。 丹尼尔·格拉泽 , G.A.卡夫沃斯 , 安德烈亚斯·努伊茨 , 拉尔斯·伯克达尔 :
多模态相关类型理论。 维克托·马绍尔 :
在p/q可识别集上。 皮埃尔·海韦拉特 :
表示索引容器最大固定点之间的连续函数。 马蒂亚斯·霍尔泽尔 , 理查德·威尔克 :
存在二阶逻辑与团队语义逻辑的并集闭片断。 赫尔曼·杰弗斯 , 雅各布施 :
关于距离和共刺激。 艾克·诺依曼 :
涉及任意实数的线性递归的决策问题。 斯特凡·德姆里 , 埃蒂安·洛兹 , 阿莱西奥·曼苏蒂 :
无量词分离逻辑的完全公理化。 亚历山大·拉比诺维奇 , 多伦·蒂费雷特 :
正则无限树语言的模糊层次。 托比亚斯·卡佩 , 保罗·布鲁特 , 巴斯·卢提克 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
弱双Kleene代数的等价性检验。 朱利安·格兰奇 :
有界度类上的后继非变一阶逻辑。 Jean-Louis Krivine女士 :
一个完整选择公理的程序。 埃斯特·利夫希茨 , 利奥波多·贝尔托西 , 本尼·基梅尔菲尔德 , Moshe Sebag公司 :
问答中元组的Shapley值。 马里奥·阿尔瓦雷斯·皮卡略 , Jean-Simon Pacaud Lemay女士 :
笛卡尔差分类别。 托马斯广场 , 马克·泽顿 :
点深二的分隔。 Jean-Marie马迪奥 , 达米安·普斯 , 戴维德·桑吉奥吉 :
通过一阶转换系统实现高阶语言的模共归纳。 亚当·希米 , 奥雷利·胡罗 , 菲利普·奎因内克 :
异步消息传递模型的听说谓词的特征和推导。 雅库布·米查利辛 , 扬·奥托普 , 彼得罗·维克佐雷克 :
带算术的模块化路径查询。 雅各布·埃梅内格 :
刚毛类中的W型。
2021年第17卷第4期
克劳迪奥·安塔雷斯·梅齐纳 , 豪尔赫·佩雷斯 :
可逆多方协议的因果一致性。 弗朗西斯科·达尼诺 :
正则共导的基础。 Mircea-Dan Hernest公司 , Trifon Trifonov公司 :
模态功能(辩证法)解释。 安东尼·W·林 , 鲁帕克·马朱姆达尔 :
带长度约束的二次字方程、计数器系统和带可除性的Presburger算法。 埃文·卡瓦洛 , 罗伯·哈波 :
立体类型理论的内参数。 杰里米·斯普洛斯顿 :
具有一个时钟和初始化的时钟相关概率的概率时间自动机。 阿米尔·本·阿姆拉姆 , 杰夫·W·汉密尔顿 :
多项式空间中循环程序的紧多项式边界。 J.罗宾B.科克特 , 科尔·康福特 , 普利亚·V·斯里尼瓦桑 :
范畴量子力学的匕首线性逻辑。 尼尔斯涡流计 , 托马斯·泽姆 :
奇偶校验存在动态复杂性查询。 马西莫·巴托莱蒂 , 莱特里奥·加莱塔 , 毛里齐奥·穆尔吉亚 :
区块链中的交易并行理论。 詹姆斯·莱尔德 :
有界和无界非决定论的外延和内涵语义。 托马斯·科尔科姆贝特 , 纳塔娜·菲亚尔科夫 , 皮埃尔·奥曼 :
控制随机人群。 达尼洛·皮亚尼尼 , 罗伯托·卡萨迪 , 米尔科·维罗利 , 玛丽安妮 , 弗朗科·赞博内利 :
通过可编程分布式调度器进行基于时间流的现场协调。 马特乌斯·德·奥利维拉·奥利维拉 :
关于满足CMSO性质的超图。 Yo Mitani先生 , 小林直树 , 津田武史 :
概率高阶不动点逻辑。 G.米歇尔·平纳 :
事件结构中依赖关系的新操作表示。 米查尔·库克(Michal Kouck) , Vojtech罗德尔 , 纳维德·塔利班 :
超图的分离定理和CSP-SAT算法。 彼得·武克米洛维奇 , 亚历山大·本特坎普 , Visa Nummelin卡 :
高效的全高阶统一。 克莱门斯·库普克 , 尤里安腐烂 :
共导谓词的表达逻辑。 瓦斯科·布拉特卡 :
Stashing And Parallelization Pentagons五边形。 瑞克·埃尔肯斯 , 莫里斯·拉维奥 :
自适应非线性模式匹配自动机。 朱尔斯·乔奎特 , 莱昂内尔·沃克斯-奥克莱 :
乘法线性逻辑中并行截消元在证明网泰勒展开中的应用。 帕特里夏·约翰 , 恩里科·吉奥尔齐 :
嵌套类型和GADT的参数化。 托马斯·布伦戈斯 :
联合大脑具有规则和ω-规则行为。 弗拉维恩·布鲁瓦特 , 乌戈·达尔·拉戈 , 阿加西·埃尔鲁 :
关于高阶概率次递归。 玛丽亚·皮图 , 乔治·拉霍尼斯 :
基于参数化组件的系统中的体系结构:定性和定量建模。