Rewriting Techniques and Applications
Subtitle: 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: April 24, 1998
Language: eng
Format: Paperback
Number of pages: 342
ISBN-13: 9783540643012
Subjects: Programming languages; Logic; Computer Science; Programming Languages - General; Algorithms (Computer Programming); Automata; Computers; Computers - Languages / Programming; Congresses; Computer Books: Languages; Computer programming; Compilers; Logic Design; Lambda-Calculus; Mathematics / Logic; Reduction; Rewriting Systems; Term Rewriting; Rewriting systems (Computer sc; Rewriting systems (Computer science); Algorithms
First sentence: Church-Rosser (CR for short) property is one of the most important properties of rewrite systems.