Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985
Bruno Buchberger (auth.), Jean-Pierre Jouannaud (eds.)
The theory and practice of term rewriting is now well-established and the focus of growing interest in the world of computer science. This book brings together a collection of original research contributions and surveys of existing knowledge. Some of the most significant developments in term rewriting theory are reviewed, as well as a history of the most important discovery in the field, namely the notion of a critical pair and its natural consequence, the completion algorithm. Many of the new ideas developed have important applications in other fields of theoretical computing. Therefore, this book should be of interest to researchers from areas such as logic programming, computer algebra, and functional programming.
年:
1985
出版:
1
出版社:
Springer-Verlag Berlin Heidelberg
语言:
english
页:
444
ISBN 10:
3540159762
ISBN 13:
9783540159766
系列:
Lecture Notes in Computer Science 202
文件:
DJVU, 3.59 MB
IPFS:
,
english, 1985
因版权方投诉,本书无法下载