停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

第二十六FoSSaCS@ETAPS2023年：法国巴黎

优化列表

优化激活！

放大了??属于??记录

在中查看细化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/2023
奥尔娜·库普夫曼,帕维尔·索博辛斯基:
软件科学和计算结构基础——第26届国际会议，FoSSaCS 2023，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2023，法国巴黎，2023年4月22日至27日，会议记录。计算机科学课堂讲稿13992,施普林格 2023，国际标准图书编号978-3-031-30828-4
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Ahman23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Ahman23
丹尼尔·艾哈曼:
当程序必须观看油漆干燥时。 1-23
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Hirschkoff公司JP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HirschkoffJP23
丹尼尔·赫希科夫,吉尔亨·贾贝尔,Enguerrand预赛:
有效语境下ν-演算的语境等价性判定。 24-45
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/GoncharovHNSW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/GoncharovHNSW23
谢尔盖·冈查洛夫,德克·霍夫曼,佩德罗·诺拉,卢茨·施罗德,保罗·怀尔德:
行为距离的Kantorovich函数和特征逻辑。 46-67
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ChenP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChenP23
陈志波,弗兰克·普芬宁:
具有高阶有理（循环）项的逻辑框架。 68年至88年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Amorim23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Amorim23
佩德罗·阿泽韦多·德·阿莫林:
马尔可夫核和线性算子的高阶语言。 89-112
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/NewL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/NewL23
Max S.新,丹尼尔·里卡塔:
形式范畴理论的形式逻辑。 113-134
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/EchahedEMP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/EchahedEMP23
拉希德·埃哈希德,Mnacho Echenim公司,迈赫迪·姆哈拉,尼古拉斯·佩尔蒂埃:
图的严格约束叠加演算。 135-155
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HainryPS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HainryPS23
艾曼纽尔·海因里,罗曼·佩乔,马里奥·席尔瓦:
一种描述量子多项式时间的编程语言。 156-175
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Starch ak23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Starchaak23
米哈伊尔·斯塔斯塔克:
关于加法和位最小值的存在性算法。 176-195年
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MazowieckiSW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MazowieckiSW23
菲利普·马佐维耶基,亨利·辛克莱·班克斯,卡罗尔·韦格兹基:
带有一个一元计数器的2-VASS中的覆盖性为NP。 196-217
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/PrakashT23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/PrakashT23
阿迪蒂亚·普拉卡什,K.S.Thejaswini公司:
关于历史确定性单计数器网络。 218-239
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BaumannDGIMSZ23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BaumannDGIMSZ23
帕斯卡·鲍曼,弗拉维奥·达莱桑德罗,摩西·加纳迪,奥斯卡·H·伊巴拉,伊恩·麦克奎伦,利亚·舒茨,乔治·泽采:
具有反向有界计数器的机器的无界性问题。 240-264
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fosacs/BernardoR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BarnardoR23
马可·贝尔纳多,萨比娜·罗西:
反向双相似与正向双相似。 265-284
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/RadyB23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/RadyB23
Amgad Rady公司,弗兰克·范·布鲁格尔:
标记马尔可夫链概率双相似度距离的解释。 285-307
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DubutW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DubutW23
杰雷米·杜布特,托尔斯滕·维曼:
广义开放映射的加权和分支二相似性。 308-327
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/TurkenburgKRS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Turkenburg KRS23
鲁本·图尔肯堡,克莱门斯·库普克,侏罗纪腐朽,埃兹拉·肖恩:
通过可逆步骤保存和反映双相似性。 328-348
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HenzingerMS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HenzingerMS23
托马斯·汉津格,尼古拉斯·马佐奇,N.Ege Saraç:
定量安全和生命。 349-370
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BokerH23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BokerH23网址
乌迪·博克,盖伊·赫菲茨:
多折扣因子折扣-Sum自动机的比较。 371-391
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HolikSTV23文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HolikSTV23
卢卡斯·霍利克,尤拉吉·西奇,伦卡·图罗诺娃,托马斯·沃伊纳:
规则模式的快速匹配与同步计数。 392-412
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LabbafGHM23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LabbafGHM23网址
Faezeh实验室,简·弗里索·格鲁特,侯赛因·霍贾特,穆罕默德·雷扎·穆萨维:
交错并行自动机的组合学习。 413-435
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DoueneauTabot23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DoueneauTabot23
加丹·杜埃内乌·塔博特:
卵石最小化：最后的定理。 436至455
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Lopez23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Lopez23
阿利奥梅·洛佩兹:
不动点和Noetherian拓扑。 456-476
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/LeL23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/LeL23
广乐路,宣白丁乐:
分离逻辑片段中的有效循环蕴涵过程。 477-497
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Glabbeek23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Glabbeek23
罗布·范·格拉贝克:
只是测试。 498-519
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AttieC23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AttieC23
保罗·C·阿蒂,威廉·科克:
通过小组行动进行模型和程序修复。 520-540
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BordaisBR23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BordaisBR23
本杰明·博戴斯,帕特里夏·鲍耶,圣埃芬·勒鲁:
具有前缀无关目标的有限并发博弈中的子博弈优化策略。 541-560

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。