计算机协会：LICS：计算机科学中的逻辑

计算机协会：LICS：计算机科学中的逻辑 ACM会议/LICS：计算机科学中的逻辑——与主题搜索匹配的新结果。 https://dl.acm.org/action/doSearch？af=R 计算机协会：LICS：计算机科学中的逻辑计算机协会英语-美国 Atypon系统 http://www.atypon.com/images/atypon_logo_small.gif http://www.atypon.com网站圆形和非良好校样的弹跳螺纹 https://dl.acm.org/doi/abs/10.1145/3531130.3533375？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533375 2020年2月8日-4日08时20分51秒圆形和非良好校样的弹跳螺纹 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533375 https://dl.acm.org/doi/abs/10.1145/3531130.3533375？af=R 分级单数与行为等效游戏 https://dl.acm.org/doi/abs/10.1145/3531130.3533374？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533374 2022-08-04T08:20:51Z 分级单数与行为等效游戏 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533374 https://dl.acm.org/doi/abs/10.1145/3531130.3533374？af=R ∑-半环上作为模范畴的线性逻辑的线性代数模型✱ https://dl.acm.org/doi/abs/10.1145/3531130.3533373？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533373 2022-08-04T08:20:51Z ∑-半环上作为模范畴的线性逻辑的线性代数模型✱ 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533373 https://dl.acm.org/doi/abs/10.1145/3531130.3533373？af=R 几何决策过程与线性算术理论的VC维 https://dl.acm.org/doi/abs/10.1145/3531130.3533372？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533372 2022-08-04T08:20:51Z 几何决策过程与线性算术理论的VC维 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533372 https://dl.acm.org/doi/abs/10.1145/3531130.3533372？af=R 具有一个替换的一阶逻辑正则语言 https://dl.acm.org/doi/abs/10.1145/3531130.3533371？af=R LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-11页 LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-11页 数字对象标识代码：10.1145/3531130.3533371 2020年2月8日-4日08时20分51秒具有一个替换的一阶逻辑正则语言 1 11 2022-08-04T08:20:51Z 10.1145/3531130.3533371 https://dl.acm.org/doi/abs/10.1145/3531130.3533371？af=R 具体类别和高阶递归 https://dl.acm.org/doi/abs/10.1145/3531130.3533370？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-14页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-14页 电话：10.1145/3531130.3533370 2022-08-04T08:20:51Z 具体类别和高阶递归 1 14 2022-08-04T08:20:51Z 10.1145/3531130.3533370 https://dl.acm.org/doi/abs/10.1145/3531130.3533370？af=R 结合功能规范确定超属性 https://dl.acm.org/doi/abs/10.1145/3531130.3533369？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533369 2022-08-04T08:20:51Z 结合功能规范确定超属性 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533369 https://dl.acm.org/doi/abs/10.1145/3531130.3533369？af=R 将LREC与LFP分离 https://dl.acm.org/doi/abs/10.1145/3531130.3533368？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533368 2022-08-04T08:20:51Z 将LREC与LFP分离 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533368 https://dl.acm.org/doi/abs/10.1145/3531130.3533368？af=R 有界局部列宽类解释的模型检验 https://dl.acm.org/doi/abs/10.1145/3531130.3533367？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE计算机科学逻辑年度研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533367 2022-08-04T08:20:51Z 有界局部列宽类解释的模型检验 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533367 https://dl.acm.org/doi/abs/10.1145/3531130.3533367？af=R 超越定量代数推理中的非扩张运算 https://dl.acm.org/doi/abs/10.1145/3531130.3533366？af=R LICS’22：第37届ACM/IEEE计算机科学逻辑年度研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533366 2022-08-04T08:20:51Z 超越定量代数推理中的非扩张运算 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533366 https://dl.acm.org/doi/abs/10.1145/3531130.3533366？af=R 用于数据流编程的单体流 https://dl.acm.org/doi/abs/10.1145/3531130.3533365？af=R LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-14页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-14页 数字对象标识代码：10.1145/3531130.3533365 2022-08-04T08:20:51Z 用于数据流编程的单体流 1 14 2022-08-04T08:20:51Z 10.1145/3531130.3533365 https://dl.acm.org/doi/abs/10.1145/3531130.3533365？af=R 从正则换能器表达式高效构造可逆换能器 https://dl.acm.org/doi/abs/10.1145/3531130.3533364？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533364 2022-08-04T08:20:51Z 从正则换能器表达式高效构造可逆换能器 1 13 2020年2月8日-4日08时20分51秒 10.1145/3531130.3533364 https://dl.acm.org/doi/abs/10.1145/3531130.3533364？af=R 严格酉∞范畴的一种类型理论 https://dl.acm.org/doi/abs/10.1145/3531130.3533363？af=R LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页 LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页 数字对象标识代码：10.1145/3531130.3533363 2022-08-04T08:20:51Z 严格酉∞范畴的一种类型理论 1 12 2022-08-04T08:20:51Z 10.1145/3531130.3533363 https://dl.acm.org/doi/abs/10.1145/3531130.3533363？af=R λ-微积分的合理空间，对数 https://dl.acm.org/doi/abs/10.1145/3531130.3533362？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533362 2022-08-04T08:20:51Z 对数λ-演算的合理空间 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533362 https://dl.acm.org/doi/abs/10.1145/3531130.3533362？af=R 柯里和霍华德认识博雷尔 https://dl.acm.org/doi/abs/10.1145/3531130.3533361？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533361 2022-08-04T08:20:51Z 柯里和霍华德认识博雷尔 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533361 https://dl.acm.org/doi/abs/10.1145/3531130.3533361？af=R 重新审视时态团队语义 https://dl.acm.org/doi/abs/10.1145/3531130.3533360？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533360 2020年2月8日-4日08时20分51秒重新审视时态团队语义 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533360 https://dl.acm.org/doi/abs/10.1145/3531130.3533360？af=R 最伟大的HIT：通过时钟下的感应，在共导定义中具有更高的感应类型 https://dl.acm.org/doi/abs/10.1145/3531130.3533359？af=R LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 LICS’22：第37届ACM/IEEE年度计算机科学逻辑研讨会论文集，第1-13页 数字对象标识代码：10.1145/3531130.3533359 2022-08-04T08:20:51Z 最伟大的HIT：通过时钟下的感应，在共导定义中具有更高的感应类型 1 13 2022-08-04T08:20:51Z 10.1145/3531130.3533359 https://dl.acm.org/doi/abs/10.1145/3531130.3533359？af=R 半环语义中一阶逻辑的零一定律和几乎必然值 https://dl.acm.org/doi/abs/10.1145/3531130.3533358？af=R LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页 LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页 数字对象标识代码：10.1145/3531130.3533358 2022-08-04T08:20:51Z 半环语义中一阶逻辑的零一定律和几乎必然值 1 12 2022-08-04T08:20:51Z 10.1145/3531130.3533358 https://dl.acm.org/doi/abs/10.1145/3531130.3533358？af=R 固定维VASS中可达性问题的下界 https://dl.acm.org/doi/abs/10.1145/3531130.3533357？af=R LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页 LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页 数字对象标识代码：10.1145/3531130.3533357 2022-08-04T08:20:51Z 固定维VASS中可达性问题的下界 1 12 2022-08-04T08:20:51Z 10.1145/3531130.3533357 https://dl.acm.org/doi/abs/10.1145/3531130.3533357？af=R 有界双宽的稳定图 https://dl.acm.org/doi/abs/10.1145/3531130.3533356？af=R LICS’22：第37届ACM/IEEE计算机科学逻辑研讨会论文集，第1-12页 LICS’22：第37届ACM/IEEE计算机科学逻辑年度研讨会论文集，第1-12页 数字对象标识代码：10.1145/3531130.3533356 2022-08-04T08:20:51Z 有界双宽的稳定图 1 12 2020年2月8日-4日08时20分51秒 10.1145/3531130.3533356 https://dl.acm.org/doi/abs/10.1145/3531130.3533356？af=R