Rewriting techniques and applications : 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings

Saved in:
Corporate Author: International Conference on Rewriting Techniques and Applications
Other Authors: Bachmair, Leo, (Editor, ed.)
Format: Book
Language:English
Published: Berlin ; Springer, c2000.
Series:Lecture notes in computer science (Springer).
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 01249Cam#a22003134a#4500
001 025476
003 AR-BeUNQ
005 20181115151631.0
008 131114s2000 gw a ##b #001 0#eng#d
999 |c 23587  |d 98974 
020 |a 354067778X 
040 |a DLC  |d DLC 
041 0 |a ng 
044 |a gw 
082 0 4 |a 005.13  |2 21 
245 0 0 |a Rewriting techniques and applications :  |b 11th international conference, RTA 2000, Norwich, UK, July 10-12, 2000 : proceedings  |c Leo Bachmair (ed.). 
260 |a Berlin ;  |b Springer,  |c c2000. 
300 |a x, 273 p. :  |b il. ;  |c 24 cm. 
490 1 |a Lecture notes in computer science, 
500 |a Actas de la 11a. Conferencia Internacional de Técnicas y Aplicaciones de Reescritura. 
504 |a Incluye referencias bibliográficas e índice. 
650 7 |a Informática  |2 spines 
650 7 |a Programación de computadora  |2 toit 
650 7 |a Aplicaciones de computadores  |2 spines 
700 1 |a Bachmair, Leo,  |e ed.  |4 edt 
711 2 |a International Conference on Rewriting Techniques and Applications  |c Norwich, England)  |d 2000 :  |n (11th : 
830 0 |a Lecture notes in computer science (Springer).  |n 1833 
929 |a DONACION  |b Eduardo Bonelli  |d 0  |e 20110210  |f PAT0037183  |g 1727 Exp. 827-0387/98  |j 50302 
942 |c LIB  |n 0