Yearly Archives: 1992

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.…