LEADER 01746nam0 22003493i 450 
001 AQ10003129
005 20251003044040.0
010   $a0387568689$bNew York
010   $a3540568689$bBerlin
100   $a20111212d1993    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aRewriting techniques and applications$e5. international conference, RTA-93$eMontreal, Canada, June 16-18, 1993$eproceedings$fClaude Kirchner (ed.)
210   $aBerlin [etc.]$cSpringer$dc1993
215   $aXI, 487 p.$d25 cm
225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v690
410  0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v690$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340
676   $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14
676   $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22
702  1$aKirchner$b, Claude$3AQ1V000852
710 12$aInternational conference RTA '93$d <5.$e ; Montreal>$3AQ1V001641$4070$0714569
791 12$aInternational conference on rewriting techniques and applications$d <5.$f ; 1993$e ; Montreal>$3AQ1V001643$zInternational conference RTA '93 <5. ; Montreal>
791 12$aRTA '93$d <5.$e ; Montral>$3TO0V163644$zInternational conference RTA '93 <5. ; Montreal>
801  3$aIT$bIT-000000$c20111212
850   $aIT-BN0095          
912   $aAQ10003129
950  0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL.     ING.                    LNCS$e 0102 0000012465  VMA A4690                 v. 690$fY $h19940706$i20111212
977   $a 01
996   $aRewriting techniques and applications$91381896
997   $aUNISANNIO