01501nam2-2200409li-450 99000021017020331620180312154711.03-540-64570-50021017USA010021017(ALEPH)000021017USA01002101720001109d1998----km-y0itay0103----baengGWComputer science logic11th International whorkshop, CLS'97annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997selected papersMogens Nielsen... [et al.] (eds.)Berlin [etc.]Springer-Verlagcopyr. 1998VIII, 509 p.ill.24 cmLecture notes in computer science141400100202642001Lecture notes in computer sciencecongressiaarhus1997elaboratori elettronicicongressi1997004Elab. dei dati Scienza degli elab. InformaticaNielsen,MogensInternational workshop CSL'9711.Aarhus1997746234Sistema bibliotecario di Ateneo dell' Università di SalernoRICA990000210170203316001 LNCS (1414)002262000100104106BKSCI1998112920001110USA011714ALANDI9020010206USA01122720020403USA011629PATRY9020040406USA011615Computer science logic1489230UNISA