Term Rewriting and Applications
Subtitle: 18th International Conference, RTA 2007 Paris, France, June 26-28, 2007 : proceedings
By: Franz Baader (ed.).
Contributors: Baader, Franz.
Series: Lecture Notes in Computer Science -- 4533.
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 418
ISBN-13: 9783540734475
Subjects: Rewriting systems (Computer science) -- Congresses.; Computer programming -- Congresses.; Algorithms -- Congresses.
Genres: Congresses.
Other titles: RTA 2007.
Notes: Includes bibliographical references and author index.