Term Rewriting Systems
Edition: 1st edition
Publisher: Cambridge University Press
Published: March 15, 2003
Language: eng
Format: Hardcover
Number of pages: 906
ISBN-13: 9780521391153
Subjects: Mathematical theory of computation; Programming languages; Rewriting systems (Computer sc; Computer Programming; Computers; Computers - Languages / Programming; Computer Books: General; Rewriting systems (Computer science); Programming - General; Computers / Programming / Software Development; Computer Science
First sentence: We start the book by presenting some basic examples of rewriting, in order to set the stage.