停止战争！

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

对于科学家：

默认搜索操作

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

问别人

计算和演绎形式结构国际会议（FSCD）

参观
- 网页@fscd-conference.org
权限控制：
导出流元数据
导出此流的记录
仅前1000次点击：
BHT键：
- 数据库/conf/fscd/index.bht
流密钥：
- 流/conf/fscd
问别人
在中查看此流
- dblp搜索
共享书目
持久URL：
- https://dblp.org/streams/conf/fscd
帮助我们
- 如何更正dblp中的错误？
- 联系dblp

>主页 >会议和研讨会

场馆统计

按年份列出的记录

文档访问 请注意：▪ 这方面的工作仍在进行中。▪ 出版物的开放获取信息仍然相当不完整。

频繁作者

场馆信息

访问：部分或全部出版物公开可用
前任： 国际重写技术与应用会议（RTA）
前任： 类型化Lambda微积分和应用国际会议（TLCA）
属于： 联邦逻辑会议（FLoC）
拥有部分（自2016年起）： 程序转换和评估重写技术国际研讨会（WPTE）

第八届FSCD 2023：意大利罗马

- 看法
- 出口记录
  dblp键：
  - conf/fscd/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/2023
马可·加博阿迪,费尔克·范·拉姆斯登克:
第八届计算和推导形式结构国际会议，FSCD 2023，2023年7月3日至6日，意大利罗马。 LIPIcs公司260,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2023，十亿978-3-95977-277-8 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2311-09918
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2311-09918
Alberto Ciaffglione公司,卡洛斯·奥拉特:
第18届逻辑框架与元语言：理论与实践国际研讨会论文集，FSCD的LFMTP2023年，意大利罗马，2023年7月2日。 EPTCS系统396,2023 [目录]

第七届FSCD 2022：以色列海法

- 看法
- 出口记录
  dblp键：
  - conf/fscd/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/2022
艾米·费尔蒂:
第七届计算和扣除形式结构国际会议，FSCD 2022，2022年8月2-5日，以色列海法。 LIPIcs公司228,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2022，十亿978-3-95977-233-4 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/cor/abs-2303-14219
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-14219
克莱门斯抓斗手:
第十二届术语和图形计算国际研讨会论文集，FSCD术语表2022年8月1日，以色列海法Technion。 EPTCS系统377,2023 [目录]

第六届FSCD 2021：阿根廷布宜诺斯艾利斯[虚拟会议]

- 看法
- 出口记录
  dblp键：
  - conf/fscd/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/2021
小林直树:
第六届计算和演绎形式结构国际会议，FSCD 2021，2021年7月17日至24日，阿根廷布宜诺斯艾利斯（虚拟会议）。 LIPIcs公司195,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2021，十亿978-3-95977-191-7 [目录]

2020年第五届FSCD：法国巴黎[虚拟会议]

- 看法
- 出口记录
  dblp键：
  - conf/fscd/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/2020
泽纳·M·阿里奥拉:
第五届计算和扣除形式结构国际会议，FSCD 2020，2020年6月29日至7月6日，法国巴黎（虚拟会议）。 LIPIcs公司167,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2020，十亿978-3-95977-155-9 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2102-01804
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-01804
帕特里克·巴尔:
第11届术语和图形计算国际研讨会论文集，FSCD术语表2020年，在线，2020年7月5日。 EPTCS系统334,2021 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 轴颈/cor/abs-2112-14305
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2112-14305
乌戈·达尔·拉戈,瓦莱丽亚·德佩瓦:
第二届线性与线性逻辑应用趋势联合国际研讨会论文集，线性&IJCAR-FSCD的TLLA2020年，在线，2020年6月29日至30日。 EPTCS系统353,2021 [目录]

2019年第四届FSCD：德国多特蒙德

- 看法
- 出口记录
  dblp键：
  - conf/rta/2019年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/2019
赫尔曼·杰弗斯:
第四届计算和推导形式结构国际会议，FSCD 2019，2019年6月24日至30日，德国多特蒙德。 LIPIcs公司131,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2019，十亿978-3-95977-107-8 [目录]

2018年第三届FSCD：英国牛津

- 看法
- 出口记录
  dblp键：
  - conf/rta/2018年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/2018
赫莱内·基什内尔:
第三届计算和扣除形式结构国际会议，2018年7月9日至12日，英国牛津，FSCD。 LIPIcs公司108,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2018，十亿978-3-95977-077-4 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1807-01352
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1807-01352
弗雷德里克·布兰基,吉赛尔·赖斯:
第13届逻辑框架与元语言国际研讨会论文集：理论与实践，FSCD的LFMTP2018年7月7日，英国牛津。 EPTCS系统274,2018 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1807-03732
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1807-03732
罗伯特·艾奇,萨姆·林德利:
第七届数学结构函数编程研讨会论文集，MSFP@FSCD2018年，英国牛津，2018年7月8日。 EPTCS系统275,2018 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1902-01510
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-01510
玛丽贝尔·费尔南德斯,伊恩·麦基:
第十届术语和图形计算国际研讨会论文集，FSCD术语表2018年7月7日，英国牛津。 EPTCS系统288,2019 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1903-12402
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1903-12402
佩德罗·夸雷斯马,沃尔特·纽珀:
第七届教育软件定理证明组件国际研讨会论文集，FLoC的ThEdu2018年7月18日，英国牛津。 EPTCS系统290,2019 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-06159
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-06159
托马斯·埃尔哈德,玛丽贝尔·费尔南德斯,瓦莱丽亚·德佩瓦,洛伦佐·托托拉·德·法尔科:
线性与线性逻辑及应用趋势联合国际研讨会论文集，线性-TLLA@FLoC2018年7月7日至8日，英国牛津。 EPTCS系统292,2019 [目录]

2017年第二届FSCD：英国牛津

- 看法
- 出口记录
  dblp键：
  - conf/rta/2017年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/2017
戴尔·米勒:
第二届计算和扣除形式结构国际会议，2017年9月3日至9日，英国牛津FSCD。 LIPIcs公司84,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2017，十亿978-3-95977-047-7 [目录]

2016年第一份FSCD：葡萄牙波尔图

- 看法
- 出口记录
  dblp键：
  - conf/rta/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/2016
迪莉娅·凯斯纳,布里吉特·皮恩特卡:
第一届计算和扣除形式结构国际会议，2016年6月22日至26日，葡萄牙波尔图，FSCD。 LIPIcs公司52,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2016，十亿978-3-95977-010-1 [目录]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/Kobayashi17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kobayashi17
小林直树:
第八届十字路口类型和相关系统研讨会论文集，2016年ITRS，葡萄牙波尔图，2016年6月26日。 EPTCS系统242,2017 [目录]

服务

管理网站设置

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