VII. GULP (1992), Tremezzo (Italy)

Tremezzo (Lago di Como) 17-19 Giugno 1992 Program Chair: Stefania Costantini Conference Proceedings [OPAC]: http://www.programmazionelogica.it/1992/06/atti-del-settimo-convegno-nazionale-sulla-programmazione-logica/ Accepted Papers: Minimal Negation and Hereditarily Harrop Formulae A. Momigliano Higher Order Datalog F. Arcelli, M. Gaeta, A. Riva Fairness nei linguaggi logici STP M.…

VI. GULP (1991), Pisa (Italy)

VI. GULP (1991), Pisa (Italy) Pisa, 12-14 Giugno 1991 Centro Studi della Cassa di Risparmio di Pisa P.za San Paolo a Ripa d’Arno Conference Proceedings: Atti del Sesto Convegno Nazionale sulla Programmazione Logica – GULP 1991 Organizzatore Patrizia Asirelli IEI-CNR-Pisa…

V. GULP (1990), Padova (Italy)

V. GULP (1990)[OPAC], Padova (Italy) Quinto convegno sulla Programmazione Logica Padova, Italy 6-8 Giugno 1990 Coordinatrice: Annalisa Bossi (Università di Padova) Comitato di Programma: Pier Giorgio Bosco (CSELT, Torino) Alfredo Ferro (Università di Catania) Gilberto Filé (Università di Padova) Giorgio…