| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 高效的完全高阶一致化 | Petar Vukmirovi''c, Alexander Bentkamp, Visa Nummelin | 2011.09507 | cs.LO | 2023-06-22 |
| 自适应非线性模式匹配自动机 | Rick Erkens, Maurice Laveaux | 2011.13752 | cs.LO | 2023-06-22 |
| 概率高阶不动点逻辑 | Yo Mitani, Naoki Kobayashi and Takeshi Tsukada | 2011.14303 | cs.LO | 2023-06-22 |
| 多模态依赖类型理论 | Daniel Gratzer, G.A. Kavvos, Andreas Nuyts, Lars Birkedal | 2011.15021 | cs.LO | 2023-06-22 |
| 事件结构中依赖关系的新操作表示 | G. Michele Pinna | 2012.00118 | cs.LO | 2023-06-22 |
| 图上的分析命题证明系统 | Matteo Acclavio, Ross Horne and Lutz Stra{ss}burger | 2012.01102 | cs.LO | 2023-06-22 |
| 关于保留口吃的部分序约简中标记不一致问题的详细说明 | Thomas Neele, Antti Valmari, Tim A. C. Willemse | 2012.15704 | cs.LO | 2023-06-22 |
| 商、归纳类型与商归纳类型 | Marcelo P. Fiore and Andrew M. Pitts and S. C. Steenkamp | 2101.02994 | cs.LO | 2023-06-22 |
| 嵌套类型和GADTs的参数化性 | Patricia Johann and Enrico Ghiorzi | 2101.04819 | cs.LO | 2023-06-22 |
| 基于反例引导的数组理论模型检查的预测 | Makai Mann, Ahmed Irfan, Alberto Griggio, Oded Padon, Clark Barrett | 2101.06825 | cs.LO | 2023-06-22 |
| Petri网中的资源等价性是可判定的 | Irina Lomazova, Vladimir Bashkin and Petr Janv{c}ar (Dept of Computer Science, Faculty of Science, Palack''y University in Olomouc, Czech Republic) | 2101.07711 | cs.LO | 2023-06-22 |
| 论文标题翻译成中文：关于符号和良基语义 | Michael J. Maher | 2102.06495 | cs.LO | 2023-06-22 |
| 关于并行组合的公理化可能性 | Luca Aceto, Valentina Castiglioni, Anna Ingolfsdottir, Bas Luttik and Mathias R. Pedersen | 2102.11166 | cs.LO | 2023-06-22 |
| 高阶语言中应用双模相似性的范畴框架 | Tom Hirschowitz, Ambroise Lafont | 2103.16833 | cs.LO | 2023-06-22 |
| 分布式演员终止检测的可扩展算法 | Dan Plyukhin and Gul Agha | 2104.05128 | cs.LO | 2023-06-22 |
| 基于SMT的模型检查中用于Petri网的多面体抽象 | Nicolas Amat (LAAS-VERTICS), Bernard Berthomieu (LAAS-VERTICS), Silvano Dal Zilio (LAAS-VERTICS) | 2104.09850 | cs.LO | 2023-06-22 |
| 命题量化为什么使得树上的模态和时态逻辑变得强韧困难？ | Bartosz Bednarczyk and St''ephane Demri | 2104.13122 | cs.LO | 2023-06-22 |
| 一个一阶完备的结构化上下文无关语言的时态逻辑 | Michele Chiari (1), Dino Mandrioli (1), Matteo Pradella (1 and 2) ((1) DEIB, Politecnico di Milano, (2) IEIIT, Consiglio Nazionale delle Ricerche) | 2105.10740 | cs.LO | 2023-06-22 |
| 监测空间分布的网络化动态物理系统的逻辑 | L. Nenzi, E. Bartocci, L. Bortolussi, M. Loreti | 2105.11400 | cs.LO | 2023-06-22 |
| 将机器视为λ演算模型 | Giuseppe Della Penna and Benedetto Intrigila and Giulio Manzonetto | 2107.00319 | cs.LO | 2023-06-22 |
| 具有协同规则的推理系统用于二进制会话类型的安全性和活性属性 | Luca Ciccone, Luca Padovani | 2108.01503 | cs.LO | 2023-06-22 |
| 概率逻辑程序中的概率优化 | Damiano Azzolini and Fabrizio Riguzzi | 2108.03095 | cs.LO | 2023-06-22 |
| 算术的此处与彼处 | Vladimir Lifschitz | 2108.03187 | cs.LO | 2023-06-22 |
| SAT求解器-扩展器通信的灵活证明格式 | Seulkee Baek, Mario Carneiro, Marijn J.H. Heule | 2109.09665 | cs.LO | 2023-06-22 |
| 永久自由选择Petri网是透明的——使用CP耗尽证明van der Aalst的一个定理 | Joachim Wehler | 2109.10002 | cs.LO | 2023-06-22 |