Rewriting Techniques and Applications
Subtitle: 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: August 26, 2002
Language: eng
Format: Paperback
Number of pages: 387
ISBN-13: 9783540439165
Subjects: Algorithms & procedures; Programming - General; Computers - Languages / Programming; Rewriting systems (Computer science); Algorithms (Computer Programming); Formal Language Theory; Computers; Logic; Computer Books: Languages; General; Congresses; Mathematics / Logic; automated deduction; explicite substitutions; formal methods verfification; program calculi; reduction; Rewriting systems (Computer sc; Computer Science; Algorithms; Computer programming