停止战争！

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

对于科学家：

默认搜索操作

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

问别人

COMETA 2003：意大利乌迪内

>主页 >会议和研讨会 >科梅塔

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@sciencedirect.com
  - 没有可用的参考文献和引文
- 出口记录
  dblp键：
  - conf/cometa/2003年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cometa/2003
福里奥·霍塞尔,玛丽娜·莱尼萨,马里诺·米库兰:
COMETA项目计算元模型研讨会论文集，COMETA 2003，意大利乌迪内，2003年12月15-17日。理论计算机科学电子笔记104,爱思维尔 2004
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HonsellLM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HonsellLM04
福里奥·霍塞尔,玛丽娜·莱尼萨,马里诺·米库兰:
前言。 1-3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/BaldanCK04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BaldanCK04
保罗·巴尔丹,安德烈亚·科拉迪尼,芭芭拉·科尼格,伯恩哈德·科尼格:
验证图形转换系统的行为逻辑。 5-24
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Barbanerad04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Barbanerad04
弗朗科·巴巴内拉,乌戈·德利古罗:
移动对象的类型分配。 25-38
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BruniMM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BruniMM04
罗伯托·布鲁尼,埃尔南·梅尔格拉蒂,乌戈·蒙塔纳里:
连接中的平面提交连接。 39-59
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/CanceilaHL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CanceilaHL04
丹妮拉·坎西拉,福里奥·霍塞尔,玛丽娜·莱尼萨:
集合函数的属性。 61至80
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CherubiniSW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CherubiniSW04
亚历山德拉·切鲁比尼,尼科莱塔·萨巴迪尼,罗伯特·F·C·沃尔特斯:
Cospan-Span模型中的计时。 81-97
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CiaffaglioneS04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CiaffaglioneS04
阿尔贝托·齐法格利翁,伊凡·斯卡格内托:
在高阶抽象语法中即插即用上下文理论。 99-112
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GianantonioL04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GianantonioL04
彼得罗·迪·贾南托尼奥,皮尔·卢卡·兰齐:
精确实数算法的惰性算法。 113-128
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GadducciMM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GadducciMM04
法比奥·加杜奇,马里诺·米库兰,乌戈·蒙塔纳里:
置换代数的一些特征结果。 129-147
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/GermanoM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/GermanoM04
乔治·杰尔马诺,斯特凡诺·马扎蒂:
皮亚诺结构和迭代语义。 149-162
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HonsellLR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HonsellLR04
福里奥·霍塞尔,玛丽娜·莱尼萨,雷卡·雷达马拉:
基于强制类的OO-Language的协同语义和观察等价性。 163-180
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/KatisSW04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/KatisSW04
皮耶朱利奥·卡蒂斯,尼科莱塔·萨巴迪尼,罗伯特·F·C·沃尔特斯:
跨度（图）中的组合最小化：一些例子。 181-197
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/LaneseM04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/LaneseM04
伊万·拉内斯,乌戈·蒙塔纳里:
图形融合微积分。 199-215
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/MargariaZ04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/MargariaZ04
伊内斯·玛格丽亚,马达莱娜·扎基:
安全环境的过滤模型。 217-234
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/PaoliniR04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/PaoliniR04
卢卡-保利尼,西蒙娜·隆奇·德尔拉·罗卡:
懒惰的逻辑语义。 235-251

服务

管理网站设置

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