01746nam0 22003493i 450 AQ1000312920251003044040.00387568689New York3540568689Berlin20111212d1993 ||||0itac50 baengdez01i xxxe z01nRewriting techniques and applications5. international conference, RTA-93Montreal, Canada, June 16-18, 1993proceedingsClaude Kirchner (ed.)Berlin [etc.]Springerc1993XI, 487 p.25 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis690001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis690702 1Goos, GerhardAQ1V006441340005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Kirchner, ClaudeAQ1V000852International conference RTA '93 <5. ; Montreal>AQ1V001641070714569International conference on rewriting techniques and applications <5. ; 1993 ; Montreal>AQ1V001643International conference RTA '93 <5. ; Montreal>RTA '93 <5. ; Montral>TO0V163644International conference RTA '93 <5. ; Montreal>ITIT-00000020111212IT-BN0095 AQ10003129Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000012465 VMA A4690 v. 690Y 1994070620111212 01Rewriting techniques and applications1381896UNISANNIO