02013nam0 22003373i 450 AQ1000830020240830062549.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. Hartmanis845Logica matematicaCongressi1994FIRNAPC242563I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Jouannaud, 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-NA007920110927IT-BN0095 AQ10008300Biblioteca Centralizzata di Ateneov. 6;51;259;272;612-613;615-616;618;620;626;629-631;634-635;647;649-650;652;655-658;661-666;668-670;672-676;678;680;682-688;690-694;696-697;700-722;724-726;729-742;747-753;755-763;765;767-769;771-783;785-794;796-797;800-803;805-807;809;812-813;815-821;823-826;828-829;831-832;834;836;839-846;848-860;863-866;868;1147;2282;3185;3889193 v. 01COLL. ING. LNCS 0102 0000022625 B FD845 v. 8453 1996021920110927 01Constraints in computational logics1382010UNISANNIO