停止战争！

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

对于科学家：

默认搜索操作

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

问别人

4.罗盘车间/9。ADT 1992：西班牙Caldes de Malavella

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/1992
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/1992
哈特穆特·埃里格:
《数据类型规范的最新趋势》，第九届抽象数据类型规范研讨会，与第四届COMPASS研讨会联合举办，西班牙卡尔德斯·德·马拉维拉，1992年10月26日至30日，论文集。计算机科学课堂讲稿785,施普林格 1994，国际标准图书编号3-540-57867-6
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/GoguenD92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compans/GoguenD92
约瑟夫·高根,拉兹万·迪亚科内斯库:
面向对象范式的代数语义。 1-29
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Jouannaud92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compans/Jouannaud92
Jean-Pierre Jouannaud女士:
软件工程重写技术。 30-52
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Poigne92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/Poigne92
阿克塞尔·波涅:
代数中的同一性、存在性和类型——分类综述。 53-78
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Wagner92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/Wagner92
埃里克·瓦格纳:
重载和继承。 79年至97年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/BettazR92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/BettazR92
穆罕默德·贝塔兹,吉安娜·雷吉奥:
基于SMoLCS的用于定义高级代数Petri网的工具包。 98-112
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/CerioliR92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/CerioliR92
毛拉·塞里奥利,吉安娜·雷吉奥:
非常抽象规范的机构。 113-127
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Choppy92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/coppy92
克莉丝汀·肖比:
关于PLUSS规范的正确性和充分性。 128-143
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/ClericiJO92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compass/ClericiJO92
西尔维娅·克莱里奇,罗莎·吉梅内斯,费尔南多·奥雷哈斯:
规范语言GLIDER中的语义结构。 144-157
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Conrad92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/conpa/Conrad92
斯特凡·康拉德:
TROLL轻型物体规范认证。 158-172
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/DenkerG92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/DenkerG92
格利特·丹克尔,马丁·戈戈拉:
将TROLL灯光概念转换为Maude。 173-187
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/EhrigPR92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compass/EhrigPR92
哈特穆特·埃里格,朱莉娅·帕德伯格,莱拉·里贝罗:
代数高级网：Petri网重温。 188-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Grosse-RhodeW92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compans/Grosse-RhodeW92
马丁·格罗·罗德,乌韦·沃尔特:
部分代数的两类规范。 207-219年
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/HennickerN92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/HennickerN92
罗尔夫·亨尼克,弗里德里克·尼克尔:
可重用模块化系统设计的行为代数框架。 220-234
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Hermida92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compans/Hermida92
克劳迪奥·赫尔米达:
关于纤维范畴的纤维伴随词和完整性。 235-251
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/LevyA92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compass/LevyA92
乔迪·利维,杰姆·阿古斯蒂-卡莱尔:
用双重写系统实现不等式和非确定性规范。 252-267
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Liu92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compans/Liu92
刘俊波:
逻辑无关转换的语义基础。 268-279
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Mosses92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/Mosses92
彼得·莫斯:
统一代数和抽象语法。 280-294
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Parisi-PrescceP92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compans/Parisi-PresecceP92
弗朗西斯科·帕里西（Francesco Parisi-Prescce）,阿方索·皮兰托尼奥:
代数类规范的结构化继承。 295-309
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Rieckhoff92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/Rieckhoff92
凯瑟琳·里克霍夫:
代数规格说明动画理论。 310-320
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/Schobbens92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/compass/Schobbens92
皮埃尔·伊夫·肖本斯:
代数规范语言的二阶证明系统。 321-336
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/compans/SernadasCS92
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/companc/SernadasCS92
Amílcar Sernadas公司,何塞·费利克斯·科斯塔,克里斯蒂娜·塞尔纳达斯:
客体行为的制度。 337-351

确认：此页面上的信息由提供马丁·戈戈拉

服务

管理站点设置

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