00969cam a2200217 a 450000500170000000800410001702000150005803500150007305000260008811101140011424502010022826000370042930000110046644000490047765000370052665000510056365000600061465000240067470000250069870000280072320260818223902.0060912s1993    us      r     100|0 eng |  a3540566104  a.b1066424500aQA76.76 D47bI57 19932 aInternational Joint Conference on Theory and Practice of Software Developmentn(4th :d1993 :cOrsay, France)10aTAPSOFT'93 :btheory and practice of software development : 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993 : proceedings /cM.-C. Gaudel and J. -P. Jouannaud (eds.)  aBerlin :bSpringer-Verlag,c1993  a761 p. 0aLecture notes in computer science ;vno. 668 0aTrees (Graph theory)vCongresses 0aProgramming (Electronic computers)vCongresses 0aComputer softwarexDevelopmentxMathematicsvCongresses 0aAlgebravCongresses1 aGaudel, M. -C.,eed.1 aJouannaud, J. -P.,eed.