Term Rewriting and Applications
Subtitle: 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: September 14, 2006
Language: eng
Format: Paperback
Number of pages: 415
ISBN-13: 9783540368342
Subjects: Programming languages; Programming Languages - General; Logic; Computers; Mathematics; Computer Books: General; Logic Design; Mathematics / Logic; automated deduction; constraint solving; higher order rewriting; lambda calculus; logic programming; optimization; programming calculi; proof theory; rewriting; rewriting systems; term rewriting; Computer Science