停止战争！

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

对于科学家：

默认搜索操作

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

问别人

第6届FoSSaCS 2003：波兰华沙（ETAPS 2003的一部分）

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/2003
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/2003
安德鲁·戈登:
《软件科学与计算结构基础》，第六届国际会议，FOSSACS 2003，作为欧洲软件理论与实践联合会议的一部分举行，ETAPS 2003，波兰华沙，2003年4月7日至11日，会议记录。计算机科学课堂讲稿2620,施普林格 2003，十亿3-540-00897-7

受邀论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Abramsky公司J03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AbramskyJ03
萨姆森·阿布拉姆斯基,拉德哈·贾加迪桑:
泛型多态的游戏语义。 1-22

已投稿论文

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AbbottAG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AbbottAG03
迈克尔·戈登·阿伯特,托尔斯滕·阿滕柯奇,尼尔·加尼:
容器类别。 23-38
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AdullaR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AdullaR03
帕罗什·阿齐兹·阿卜杜拉,亚历山大·莫西·拉宾诺维奇:
通信故障概率系统的验证。 39-53
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AbelMU03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AbelMU03
安德烈亚斯·阿贝尔,拉尔夫·马提斯,塔尔莫·乌斯塔卢:
高阶嵌套数据类型的广义迭代和协同迭代。 54-69
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AnoldS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AnoldS03
安德烈·阿诺德,路易吉·桑托卡纳莱:
游戏中的模糊类µ-微积分层次。 70-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/AronsPZ03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/AronsPZ03
塔玛拉阿隆,阿米尔·普努利,勒诺·D·扎克:
通过概率抽象进行参数化验证。 87-102
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BergerHY03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BergerHY03
马丁·伯杰,Kohei Honda公司,吉田信子:
遗传学和pi-Calculus。 103-119
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BertrandS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BertrandS03
纳塔莉·贝特朗,菲利普·施诺贝伦:
模型检查有损信道系统可能是可以决定的。 120-135
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BlanchetP03文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BlanchetP03
布鲁诺·布兰切特,安德烈亚斯·波德尔斯基:
验证加密协议：标记强制终止。 136-152
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Bonelli03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Bonelli03网址
爱德华多·博内利:
具有显式替换的高阶微积分的归一化结果。 153-168
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BonevaT03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BonevaT03
伊奥夫卡·博内娃,Jean-Marc Talbot公司:
当环境无法打开时。 169-184
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BournezCNM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BournezCNM03
奥利维尔·伯内斯,菲利佩·库克,保林·雅各布·德诺罗斯（Paulin Jacobéde Naurois）,珍妮·伊夫·马里恩:
任意结构上的可计算性。顺序和平行多项式时间。 185-199
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BreugelMOW03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BreugelMOW03
弗兰克·范·布鲁格尔,迈克尔·米斯洛夫,乔尔·瓦克宁,詹姆斯·沃雷尔:
近似概率双相似性的内在表征。 200-215
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/CardelliGG03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/CardelliGG03
鲁卡·凯德利,菲利普·加德纳,乔治·盖利:
使用隐藏标签操作树。 216-232
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Doberkat03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Doberkat03网址
Ernst-Erich Doberkat先生:
随机关系的逆。 233-249
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Dunfield公司P03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DunfieldP03
贾娜·邓菲尔德,弗兰克·普芬宁:
按值调用语言中交集和并集的类型分配。 250-266
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/FokkinkP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/FokkinkP03
万·J·福克金,彭军（Jun Pang）:
重新审视协议验证的锥和焦点。 267-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/轩尼诗MR03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HennessyMR03
马修·轩尼诗,马西莫·梅罗,朱利安·拉特克:
分布式系统中访问和移动性控制的行为理论。 282-298
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Kieronski03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Kieronski03
伊曼纽尔·基伦斯基:
具有传递保护的双变量保护片段是2EXPTIME困难的。 299-312
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Laird03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Laird03
詹姆斯·莱尔德:
线性连续体的游戏语义。 313-327
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/Lugiez03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Lugiez03
丹尼斯·卢吉兹:
多树自动机的计数和等式约束。 328-342
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fospacs/Maier03公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/Maier03
帕特里克·迈尔:
成分循环假设保证规则不能健全和完整。 343-357
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MoggiF03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MoggiF03
尤金尼奥·莫吉,索尼娅·法戈齐:
一种多阶段的元语言。 358-374
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MomiglianoA03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MomiglianoA03
阿尔贝托·莫米利亚诺,西蒙·安布勒:
具有高阶抽象语法的多级元推理。 375-391
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/PowerT03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/PowerT03
约翰·鲍尔,康斯坦蒂诺斯·图拉斯:
基于层次的系统推理中的抽象。 392-408
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/SassoneS03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/SassoneS03
弗拉迪米罗·萨松,帕维尔·索博辛斯基:
推导互模拟同余：2类与前类。 409-424
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/SpringerD03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/SpringerD03
克里斯托夫·斯普伦格,Mads大坝:
归纳推理的结构：微积分中的圆形和树形证明。 425-440

服务

管理网站设置

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