LEADER 01645nam2-2200433li-450 001 990000210700203316 005 20180312154743.0 010 $a3-540-59200-8 035 $a0021070 035 $aUSA010021070 035 $a(ALEPH)000021070USA01 035 $a0021070 100 $a20001109d1995----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aRewriting techniques and applications$e6th International conference, RTA-95$eKaiserslautern, Germany, April5-7, 1995$eproceedings$fJieh Hsiang (ed.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1995 215 $aXII, 471 p.$cill.$d25 cm 225 2 $aLecture notes in computer science$v914 410 0$10010020264$12001$aLecture notes in computer science 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1995 610 1 $aelaborazione elettronica$amodelli matematici$acongressi$a1995 610 1 $alinguaggi formali$acongressi$a1995 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 702 1$aHsiang,$bJieh 710 12$aInternational conference RTA-95$d6.$eKaiserslautern$f1995$0747220 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000210700203316 951 $a001 LNCS (914)$b0017437$c001$d00103688 959 $aBK 969 $aSCI 979 $c19960112 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010131$lUSA01$h1150 979 $aALANDI$b90$c20010131$lUSA01$h1150 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aRewriting techniques and applications$91492516 997 $aUNISA