Rewriting Techniques and Applications
Subtitle: 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997. Proceedings (Lecture Notes in Computer Science)
Edition: 1 edition
Publisher: Springer
Published: June 13, 1997
Language: eng
Format: Paperback
Number of pages: 339
ISBN-13: 9783540629504
Subjects: Programming languages; Rewriting systems (Computer sc; Congresses; Algorithms (Computer Programming); Computers; Computers - Languages / Programming; Programming Languages - General; Computer Books: Languages; Programming - General; Logic; Logic Design; Automatisches Schließen; Computers / Programming Languages / General; Constraint-Auflösung; Stringersetzung; Termersetzung; Theorem-Beweisen; Rewriting systems (Computer science); Algorithms; Computer Programming