TY  - BOOK
AU  - Ganzinger,Harald
ED  - International Conference on Rewriting Techniques and Applications
TI  - Rewriting techniques and applications: 7th International Conference, RTA-96, New Brunswick, NJ, USA, July 27-30, 1996 : proceedings 
SN  - 3540614648
AV  - QA267 I555 1996
PY  - 1996///
CY  - Berlin
PB  - Springer
KW  - Rewriting systems (Computer science)
KW  - Congresses
KW  - Electronic digital computers
KW  - Programming
KW  - Algorithms
ER  -