| 中文标题 | 作者 | 论文ID | 分类简称 | 发布时间 |
|---|---|---|---|---|
| 关于满足CMSO属性的超图 | Mateus de Oliveira Oliveira | 2001.00758 | cs.LO | 2023-06-22 |
| 加权自动机的泵引理 | Agnishom Chattopadhyay, Filip Mazowiecki, Anca Muscholl and Cristian Riveros | 2001.06272 | cs.LO | 2023-06-22 |
| 建立服务级别协议的对称协议 | Jan Friso Groote and Tim A. C. Willemse | 2001.07658 | cs.LO | 2023-06-22 |
| 星星游戏和九头蛇 | J"org Endrullis, Jan Willem Klop, Roy Overbeek | 2001.08478 | cs.LO | 2023-06-22 |
| 构建高归纳类型作为群组合取 | Niccol`o Veltri and Niels van der Weide | 2002.08150 | cs.LO | 2023-06-22 |
| EUF中的均匀插值：使用DAG表示的算法 | Silvio Ghilardi and Alessandro Gianola and Deepak Kapur | 2002.09784 | cs.LO | 2023-06-22 |
| 带有超时的进程代数的失败跟踪语义 | Rob van Glabbeek | 2002.10814 | cs.LO | 2023-06-22 |
| Coq中的希尔伯特第十问题（扩展版） | Dominique Larchey-Wendling and Yannick Forster | 2003.04604 | cs.LO | 2023-06-22 |
| 用数据公理化混合XPath | Carlos Areces, Raul Fervari | 2004.00124 | cs.LO | 2023-06-22 |
| 滴答作为依赖的右伴随：基于时钟类型论的指称语义 | Bassel Mannaa, Rasmus Ejlers M{o}gelberg, Niccol`o Veltri | 2004.01709 | cs.LO | 2023-06-22 |
| 立体类型论的内部参数性 | Evan Cavallo and Robert Harper | 2005.11290 | cs.LO | 2023-06-22 |
| 概率一致性空间中的差异和距离 | Thomas Ehrhard | 2005.12582 | cs.LO | 2023-06-22 |
| 正常共归纳的基础 | Francesco Dagnino | 2006.02887 | cs.LO | 2023-06-22 |
| 具有一个时钟和初始化的时钟相关概率的概率定时自动机 | Jeremy Sproston | 2006.04202 | cs.LO | 2023-06-22 |
| 无量词分离逻辑的完整公理化 | St''ephane Demri, ''Etienne Lozes, Alessio Mansutti | 2006.05156 | cs.LO | 2023-06-22 |
| 共识谓词的表达逻辑 | Clemens Kupke and Jurriaan Rot | 2006.12465 | cs.LO | 2023-06-22 |
| 基于模糊Lax扩展的行为半度量的特征逻辑 | Paul Wild and Lutz Schr"oder | 2007.01033 | cs.LO | 2023-06-22 |
| 涉及任意实数的线性递归决策问题 | Eike Neumann | 2008.00583 | cs.LO | 2023-06-22 |
| 扩展性等式保持与验证泛型编程 | Nicola Botta and Nuria Brede and Patrik Jansson and Tim Richter | 2008.02123 | cs.LO | 2023-06-22 |
| 关于单子式反向归纳的正确性 | Nuria Brede and Nicola Botta | 2008.02143 | cs.LO | 2023-06-22 |
| 关于$lambda$-项的泰勒展开和其刚性逼近的群结构 | Federico Olimpieri and Lionel Vaux Auclair | 2008.02665 | cs.LO | 2023-06-22 |
| 倒计时游戏和（简洁）一计数器网络上的模拟 | Petr Jancar, Petr Osicka, Zdenek Sawa | 2008.11753 | cs.LO | 2023-06-22 |
| 有界度类上的继承不变的一阶逻辑 | Julien Grange | 2009.11758 | cs.LO | 2023-06-22 |
| 非传递关系的不动点定理 | J\'er\'emy Dubut and Akihisa Yamada | 2009.13065 | cs.LO | 2023-06-22 |
| 多项式空间中循环程序的紧密多项式界 | A. M. Ben-Amram and G. W. Hamilton | 2010.02823 | cs.LO | 2023-06-22 |