Term Rewriting and Applications
Subtitle: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: December 31, 1899
Language: eng
Format: Paperback
Number of pages: 517
ISBN-13: 9783540255963
Subjects: Computing and Information Technology; Logic Design; Computers; Mathematics; Computer Books: Languages; Logic; Programming Languages - General; Mathematics / Logic; Algorithms; Computer programming; Congresses; Rewriting systems (Computer science)
First sentence: In term rewriting one can rewrite according various reduction strategies, for instance innermost or outermost.