弗朗西斯科·帕里西总统（编辑） 代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。 （英语） 兹比尔0889.00030 计算机科学课堂讲稿.1376。柏林：施普林格。viii，435页（1998年）。 将索引文章显示为搜索结果。 对数学感兴趣的文章将单独复习。索引文章：Ehrig，H。；加耶夫斯基，M。；美国沃尔特。，从抽象数据类型到代数开发技术：范式的转变，1-17[Zbl 0901.68128号]何塞·梅塞盖尔，成员代数作为方程式规范的逻辑框架，18-61[Zbl 0903.08009号]何塞·梅塞盖尔；乌戈·蒙塔纳里，将磁贴逻辑映射到重写逻辑，62-91[Zbl 0903.08010]托马斯·博齐斯科夫斯基，结构化规范逻辑系统的完整性，107-121[Zbl 0901.03028号]科琳娜·科斯特，隐藏代数的Coalgebra语义：参数化对象和继承，174-189[Zbl 0906.68094号]安德烈亚·科拉迪尼，余代数规范中方程推导的完整结果，190-205[Zbl 0903.08007号]Gadducci，F。；R.赫克尔。，图变换的归纳视图，223-237[Zbl 0901.18003号]萨沃米尔·拉索塔，开放地图作为代数观测等价性和双相似性之间的桥梁，285-299[兹比尔0903.08008]阿尔菲奥·马提尼；乌韦·沃尔特，机构间映射的系统研究，300-315[Zbl 0901.03032号]蒂尔·莫萨科夫斯基，订购规格的大肠杆菌，316-332[Zbl 0902.18002号]莫萨科夫斯基（Till Mossakowski）；安德烈·塔莱基（Andrzej Tarlecki）；Pawłowski、Wies \322»aw，使用模型理论羊皮纸组合和表示逻辑系统，349-364[Zbl 0907.03030号]Pawłowski、Wies \322»aw，背景羊皮纸，381-401[Zbl 0945.03096号]米查·瓦利基；马钦比亚西克，关系结构的类别，418-433[Zbl 0907.08002号] 引用于2评论引用于3文件 MSC公司： 00B25型 杂项特定利益的会议记录 68-06 与计算机科学有关的会议记录、会议、收藏等 关键词：塔奎尼亚（意大利）;车间;诉讼;97年瓦特;代数开发技术 PDF格式BibTeX公司 XML格式引用 \textit{F.Parisi Presicce}（编辑），代数开发技术的最新趋势。1997年6月3日至7日，第12届国际研讨会，WADT’97，意大利塔基尼亚。精选论文。柏林：施普林格（1998；Zbl 0889.00030）