LEADER 02669nam0 22005293i 450 001 AQ10007877 005 20251003044041.0 010 $a0387582339$bNew York 010 $a3540582339$bBerlin 100 $a20111031d1994 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 183 1$6z01$anc$2RDAcarrier 200 1 $aHigher-order algebra, logic and term rewriting$efirst international workshop, HOA '93$eAmsterdam, The Netherlands, September 23-24, 1993$eselected papers$fJan Heering ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer$dc1994 215 $a344 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v816 300 $aNella pref.: International workshop on higher-order algebra, logic and term rewriting 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v816$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aLogica simbolica$xCongressi$x1994$2FIR$3NAPC242562$9I 606 $aLogica matematica$xCongressi$x1994$2FIR$3NAPC242563$9I 606 $aInformatica$xCongressi$x1994$2FIR$3NAPC242164$9I 676 $a005.1015113$9Programmazione. Principi matematici. Logica matematica (Logica simbolica)$v22 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni$aLogica simbolica$aLogica matematica 696 $aConvegni$aCongressi e convegni$aScienza degli elaboratori 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aLogica matematica$zLogica simbolica 699 $aLogica matematica$yLogica matematica 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aInformatica$yScienza degli elaboratori 702 1$aHeering$b, Jan$3AQ1V004242 710 12$aInternational workshop on higher-order algebra, logic and term rewriting$d <1.$f ; 1993$e ; Amsterdam>$3AQ1V004241$0756596 791 12$aHOA$d <1.$f ; 1993$e ; Amsterdam>$3AQ1V004243$zInternational workshop on higher-order algebra, logic and term rewriting <1. ; 1993 ; Amsterdam> 801 3$aIT$bIT-000000$c20111031 850 $aIT-BN0095 912 $aAQ10007877 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000023645 VMA FD816 v. 816$fY $h19960301$i20111031 977 $a 01 996 $aHigher-order algebra, logic and term rewriting$91525537 997 $aUNISANNIO