02032nam0 22003973i 450 AQ1000830020251003044041.0354058403X20110927d1994 ||||0itac50 baengdez01i xxxe z01nConstraints in computational logicsfirst international conference, CCL '94Munich, Germany, September 7-9, 1994proceedingsJean-Pierre Jouannaud (ed.)Berlin \etc.!Springerc1994VIII, 367 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis845001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis845702 1Goos, GerhardAQ1V006441340Logica matematicaCongressi1994FIRNAPC242563I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22ConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Jouannaud, Jean-PierreAQ1V003360340International conference constraints in computational logics <1. ; 1994 ; Monaco>AQ1V004499070714668International conference CCL '94 <1. ; 1994 ; Monaco>TO0V163649International conference constraints in computational logics <1. ; 1994 ; Monaco>ITIT-00000020110927IT-BN0095 AQ10008300Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000022625 VMA FD845 v. 845Y 1996021920110927 01Constraints in computational logics1382010UNISANNIO