引用人 995 -
引用人 交叉引用引用 
这本书已经 以下出版物引用。 此列表是根据提供的数据生成的 交叉引用 .
哈拉尔德·甘辛格 佛罗伦萨·杰克马尔 和 玛格斯·维纳斯 1998 亚洲计算科学进展98 . 第1538卷， 问题， 第页。 4
D.卢吉兹。 和 Schnoebelen博士。 1998 CONCUR’98并发理论 . 第1466卷， 问题， 第页。 50
阿尔贝托·奥利亚特 和 斯奈德，韦恩 1998 自动扣除-CADE-15 . 第1421卷， 问题， 第页。 239
González-Moreno，J.C。 Hortalá-González，M.T。 和 罗德里格斯-阿塔莱霍，M。 1999 功能和逻辑编程 . 第1722卷， 问题， 第页。 1
Takashi Nagaya 和 富山，吉藤义彦 1999 重写技术与应用 . 第1631卷， 问题， 第页。 256
米基·赫尔曼 劳伦特·朱班 和 Phokion G.科莱蒂斯。 1999 编程逻辑和自动推理 . 第1705卷， 问题， 第页。 13
阿尔文德 和 X.沈。 1999 使用术语重写系统设计和验证处理器 . IEEE微型， 第19卷， 发布。 三， 第页。 36
阿内格丽特·哈贝尔 和 丰满，细节 1999 代数发展技术的最新趋势 . 第1589卷， 问题， 第页。 152
玛丽亚·阿尔普特 莫雷诺，法拉斯基 莫雷诺，吉纳斯 和 Germán维达尔 1999 功能和逻辑编程 . 第1722卷， 问题， 第页。 147
埃诺·奥勒布什 1999 编程逻辑和自动推理 . 第1705卷， 问题， 第页。 111
H.近藤。 和 M.Kurihara。 1999 基于BDD的规则程序自动终止验证系统的设计与启发式 . 第5卷， 问题， 第页。 738
Kusakari、Keiichirou Masaki Nakamura 和 富山，吉藤义彦 1999 声明式编程的原理与实践 . 第1702卷， 问题， 第页。 47
Alpunte，M。 埃斯科瓦尔，S。 和 卢卡斯，S。 1999 SOFSEM'99：信息学理论与实践 . 第1725卷， 问题， 第页。 331
吉尔根·吉斯尔 和 阿尔特·米德尔多普 1999 重写技术与应用 . 第1631卷， 问题， 第页。 271
迈克尔·哈纳斯 和 萨尔瓦多卢卡斯 1999 功能和逻辑编程 . 第1722卷， 问题， 第页。 353
于尔根·斯图伯 1999 重写技术与应用 . 第1631卷， 问题， 第页。 148
艺术，托马斯 和 吉尔根·吉斯尔 1999 计算机科学逻辑 . 第1683卷， 问题， 第页。 96
埃诺·奥勒布什 1999 功能和逻辑编程 . 第1722卷， 问题， 第页。 179
文森特·范·奥斯特罗姆 1999 重写技术与应用 . 第1631卷， 问题， 第页。 60
马丁·威尔辛 约翰·克罗斯利。 和 彼得雷恩斯、汉内斯 1999 代数发展技术的最新趋势 . 第1589卷， 问题， 第页。 326
出版商： 剑桥大学出版社 在线发布日期： 2012年6月 打印出版年份： 1998 在线ISBN： 9781139172752
学科： -
计算机科学 , 程序设计语言与应用逻辑
