TY  - BOOK
AU  - Gaudel,M.-C.
AU  - Jouannaud,J.-P.
ED  - International Joint Conference on Theory and Practice of Software Development
TI  - TAPSOFT'93: theory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings 
SN  - 3540566104
AV  - QA76.76 D47 I57 1993
PY  - 1993///
CY  - Berlin
PB  - Springer-Verlag
KW  - Trees (Graph theory)
KW  - Congresses
KW  - Programming (Electronic computers)
KW  - Computer software
KW  - Development
KW  - Mathematics
KW  - Algebra
ER  -