：facetid:toc:\“db/conf/lics/lics2021.bht\” 好 啊 ：facetid:toc:db/conf/lics/lics2021.bht 巴特·雅各布斯0001从分布上的多集到多集上的分布。低收入国家1-132021会议和研讨会文件关闭conf/lics/00012110.1109/LICS52264.2021.9470678https://doi.org/10.109/LICS52264.2021.9470678https://dblp.org/rec/conf/lics/000121 网址：1483930 乔治·巴奇乔瓦尼·巴奇0001金·拉森Mirco Tribastone公司马克斯·柴可夫斯基安德烈·范丁通过耦合和多达方法的微分双模拟的有效局部计算。低收入国家1-142021会议和研讨会文件关闭conf/lics/0001BLTTV2110.1109/LICS52264.2021.9470555https://doi.org/10.1109/LICS52264.2021.9470555https://dblp.org/rec/conf/lics/0001BLTTV21 网址：1483931 利伦·科恩0001艾蒂安·米克伊罗斯·泰特证据框架：扩展可实现性模型的统一框架。低收入国家1-132021会议和研讨会文件关闭conf/lics/0001MT2110.1109/LICS52264.2021.9470514https://doi.org/10.109/LICS52264.2021.9470514https://dblp.org/rec/conf/lics/0001MT21 网址：1483932 杰夫·埃里克森0001加布里埃尔·尼瓦什徐俊彦（Junyan Xu）融合数和皮亚诺算术。低收入国家1-132021会议和研讨会文件关闭conf/lics/0001NX2110.1109/LICS52264.2021.9470703https://doi.org/10.109/LICS52264.2021.9470703https://dblp.org/rec/conf/lics/0001NX21 网址：1483933 刘新新0009于婷婷保持有限状态行为的分歧分支同余的完全公理化。低收入国家1-132021会议和研讨会文件关闭conf/lics/0009Y2110.1109/LICS52264.2021.9470647https://doi.org/10.109/LICS52264.2021.9470647https://dblp.org/rec/conf/lics/0009Y21 网址：1483934 马丁·阿巴迪戈登·普洛金聪明的选择和选择单子。低收入国家1-142021会议和研讨会文件关闭conf/lics/阿巴迪2110.1109/LICS52264.2021.9470641https://doi.org/10.109/LICS52264.2021.9470641https://dblp.org/rec/conf/lics/AbadiP21 网址：1483935 萨姆森·阿布拉姆斯基丹·马斯登保护碎片的共鸣语义。低收入国家1-132021会议和研讨会文件关闭conf/lics/Abramsky M21号机组10.1109/LICS52264.2021.9470594https://doi.org/10.1109/LICS52264.2021.9470594https://dblp.org/rec/conf/lics/AbramskyM21 网址：1483936 贝尼亚米·阿卡托利安德烈亚·康多卢奇克劳迪奥·萨塞尔多蒂·科恩强烈的价值诉求是合理的，隐含的。低收入国家1-142021会议和研讨会文件关闭conf/lics/Accattoli公司CC2110.1109/LICS52264.2021.9470630https://doi.org/10.109/LICS52264.2021.9470630https://dblp.org/rec/conf/lics/AccattoliCC21 网址：1483937 贝尼亚米·阿卡托利乌戈·达尔·拉戈加布里埃尔·瓦诺尼互动空间。低收入国家1-132021会议和研讨会文件关闭conf/lics/AccattoliLV2110.1109/LICS52264.2021.9470726https://doi.org/10.109/LICS52264.2021.9470726https://dblp.org/rec/conf/lics/AccattoliLV21 网址：1483938 卢卡·埃特罗埃利·阿纳斯塔西亚迪瓦伦蒂娜·卡斯蒂格利奥尼Anna Ingólfsdóttir女士巴斯·卢提克寻找失去的时间：过程代数中的公理化并行合成。低收入国家1-142021会议和研讨会文件关闭conf/lics/乙酰ACIL2110.1109/许可证5226.4021.9470526https://doi.org/10.109/LICS52264.2021.9470526https://dblp.org/rec/conf/lics/AcetoACIL21 网址：1483939 安东尼斯·阿奇利奥斯马蒂亚斯·鲁加德-佩德森加权一元二阶逻辑的公理化和可计算性。低收入国家1-132021会议和研讨会文件关闭conf/lics/Achilleos第21页10.1109/LICS52264.2021.9470615https://doi.org/10.109/LICS52264.2021.9470615https://dblp.org/rec/conf/lics/AchilleosP21 网址：1483940 佩德罗·阿泽韦多·德·阿莫林德克斯特·科赞拉杜·马尔代尔普拉卡什·帕南加登迈克尔·罗伯茨随机λ-演算的通用语义。低收入国家1-122021会议和研讨会文件关闭conf/lics/AmorimKMPR2110.1109/LICS52264.2021.9470747https://doi.org/10.1109/LICS52264.2021.94700747https://dblp.org/rec/conf/lics/AmorimKMPR21 网址：1483941 阿尔伯特·阿塞里亚斯Phokion G.Kolaitis公司吴伟林关于同态计数的表示能力。低收入国家1-132021会议和研讨会文件关闭conf/lics/AtseriasKW2110.1109/LICS52264.2021.9470543https://doi.org/10.1109/LICS52264.2021.9470543https://dblp.org/rec/conf/lics/AtseriasKW21 网址：1483942 约翰·贝兹法布里齐奥·吉诺维斯翡翠大师迈克尔·舒尔曼网络的类别。低收入国家1-132021会议和研讨会文件关闭conf/lics/BaezGMS2110.1109/LICS52264.2021.9470566https://doi.org/10.109/LICS52264.2021.9470566https://dblp.org/rec/conf/lics/BaezGMS21 网址：1483943 A.R.巴拉苏布拉曼尼亚语蒂莫·朗Revantha Ramanayake公司弱化和收缩超序列子结构逻辑中的可判定性和复杂性。低收入国家1-132021会议和研讨会文件关闭conf/lics/Balasubramanian2110.1109/许可证5226.4021.9470733https://doi.org/10.109/LICS52264.2021.9470733https://dblp.org/rec/conf/lics/Balasubramanian21 网址：1483944 菲利普·巴尔比亚尼马丁·迪盖兹大卫·费尔南德斯·杜克具有有限模型特性的S4的一些构造变体。低收入国家1-132021会议和研讨会文件关闭conf/lics/BalbianiDF2110.1109/LICS52264.2021.9470643https://doi.org/10.109/LICS52264.2021.9470643https://dblp.org/rec/conf/lics/BalbianiDF21 网址：1483945 亚历山德鲁·巴尔塔格尼克·贝扎尼什维利大卫·费尔南德斯·杜克拓扑微积分：完备性和可判定性。低收入国家1-132021会议和研讨会文件关闭conf/lics/BaltagBF2110.1109/LICS52264.2021.9470560https://doi.org/10.109/LICS52264.2021.9470560https://dblp.org/rec/conf/lics/BaltagBF21 网址：1483946 嘉璐宝西蒙·多尔蒂徐宇春（Justin Hsu）亚历山大·席尔瓦0001条件独立的组合逻辑。低收入国家1-142021会议和研讨会文件关闭conf/lics/BaoDH02110.1109/LICS52264.2021.9470712https://doi.org/10.1109/LICS52264.2021.9470712https://dblp.org/rec/conf/lics/BaoDH021 网址：1483947 巴勃罗·巴伦鲍姆特奥多罗·弗伦德具有经典证明和反驳的构造逻辑。低收入国家1-132021会议和研讨会文件关闭conf/lics/BarenbaumF2110.1109/LICS52264.2021.9470649https://doi.org/10.109/LICS52264.2021.9470649https://dblp.org/rec/conf/lics/BarenbaumF21 网址：1483948 利伯·巴托查拉图斯特拉·布雷迪安德烈·布拉托夫马金·科齐克德米特里·朱克极小泰勒代数作为CSP三种代数方法的通用框架。低收入国家1-132021会议和研讨会文件关闭conf/lics/BartoBBKZ2110.1109/LICS52264.2021.9470557https://doi.org/10.109/LICS52264.2021.9470557https://dblp.org/rec/conf/lics/BartoBBKZ21 网址：1483949 利伯·巴托威廉·德梅奥安托万·莫特特有限结构上的约束满足问题。低收入国家1-132021会议和研讨会文件关闭conf/lics/BartoDM21文件10.1109/LICS52264.2021.9470670https://doi.org/10.1109/LICS52264.2021.9470670https://dblp.org/rec/conf/lics/BartoDM21 网址：1483950 迈克尔·布隆丁蒂姆·莱斯菲利普·马佐维耶基菲利普·奥特马特吉列尔莫A.佩雷斯0001连续单计数器自动机。低收入国家1-132021会议和研讨会文件关闭conf/lics/BlondinLMOP2110.1109/LICS52264.2021.9470525https://doi.org/10.109/LICS52264.2021.9470525https://dblp.org/rec/conf/lics/BlondinLMOP21 网址：1483951 曼纽尔·博德斯基贝塔兰·博多Ramsey结构的规范多态性及其唯一插值性质。低收入国家1-132021会议和研讨会文件关闭conf/lics/BodirskyB21公司10.1109/LICS52264.2021.9470683https://doi.org/10.109/LICS52264.2021.9470683https://dblp.org/rec/conf/lics/BodirskyB21 网址：1483952 曼纽尔·博德斯基托马斯·费勒0001西蒙·克努尔塞巴斯蒂安·鲁道夫关于逻辑和同态闭包。低收入国家1-132021会议和研讨会文件关闭conf/lics/BodirskyFKR2110.1109/许可证5226.4021.9470511https://doi.org/10.109/LICS52264.2021.9470511https://dblp.org/rec/conf/lics/BodirskyFKR21 网址：1483953 米科拉伊·博扬奇克巴托克·克林约书亚·莫尔曼轨道有限维向量空间和加权寄存器自动机。低收入国家1-132021会议和研讨会文件关闭conf/lics/BojanczykKM21文件10.1109/LICS52264.2021.9470634https://doi.org/10.1109/LICS52264.2021.9470634https://dblp.org/rec/conf/lics/BojanczykKM21 网址：1483954 劳拉·博泽利阿德里亚诺·佩隆塞萨尔·桑切斯0001HyperLTL的异步扩展。低收入国家1-132021会议和研讨会文件关闭conf/lics/BozzelliPS2110.1109/LICS52264.2021.9470583https://doi.org/10.109/LICS52264.2021.9470583https://dblp.org/rec/conf/lics/BozzelliPS21 网址：1483955 努里亚·布雷德雨果·赫伯林关于逻辑结构的选择和酒吧归纳原则。低收入国家1-132021会议和研讨会文件关闭conf/lics/BredeH2110.1109/LICS52264.2021.9470523https://doi.org/10.109/LICS52264.2021.9470523https://dblp.org/rec/conf/lics/BredeH21 网址：1483956 罗伯托·布鲁尼罗伯托·贾科巴齐罗伯塔·戈里弗朗西斯科·兰扎托局部完全抽象解释的逻辑。低收入国家1-132021会议和研讨会文件关闭conf/lics/BruniGGR2110.1109/许可证5226.4021.9470608https://doi.org/10.1109/LICS52264.2021.9470608https://dblp.org/rec/conf/lics/BruniGGR21 网址：1483957 伊丽莎白·伯琼斯法比安-弗雷马丁·拉西克从有限值非确定性传感器到确定性双带自动机。低收入国家1-132021会议和研讨会文件关闭conf/lics/BurjonsFR2110.1109/LICS52264.2021.9470688号https://doi.org/10.109/LICS52264.2021.9470688https://dblp.org/rec/conf/lics/BurjonsFR21 网址：1483958 托比·卡特·伯恩卢克·翁史蒂芬·J·拉姆齐多米尼克·瓦格纳初始极限数据日志：一类新的可判定约束Horn子句的可扩展类。低收入国家1-132021会议和研讨会文件关闭conf/lics/BurnORW21文件10.1109/LICS52264.2021.9470527https://doi.org/10.109/LICS52264.2021.9470527https://dblp.org/rec/conf/lics/BurnORW21 网址：1483959