ISBN 9783540368342,Term Rewriting and Applications

Term Rewriting and Applications

Rs6695

Publisher

Ingram Publisher Services

Publication Year 2006
ISBN-13

ISBN 9783540368342

ISBN-10 3540368345
Binding

Paperback

Number of Pages 432 Pages
Subject

Programming & scripting languages: general

Constitutes the refereed proceedings of the 17th International Conference on Rewriting Techniques and Applications, RTA 2006, held in Seattle, WA, USA in August 2006. This book covers topics that include equational reasoning, system verification, lambda calculus, theorem proving, system descriptions, termination, and more.
Scroll