Rewriting Techniques and Applications: 7th International Conference, Rta-96, New Brunswick, Nj, Usa, July 27-30, 1996 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: H. Ganzinger (Editor)
Publisher: Springer-Verlag Telos; Springer
Published: June 1996
Language: eng
Format: Paperback
Number of pages: 435
ISBN-13: 9783540614647
Subjects: Mathematical theory of computation; Programming Languages - General; Congresses; Computer programming; Rewriting systems (Computer science); Computers; Computers - Languages / Programming; Programming - Software Development; Computer Books: Languages; Programming - General; Logic; Logic Design; Rewriting systems (Computer sc; Algorithms