Yearly Archives: 2007

XXII. IV CILC (2007), Messina (Italy)

XXII. IV CILC (2007), Messina (Italy) 21/22 Giugno 2007 Program chair: Alessandro Provetti Lavori (in pdf): https://www.programmazionelogica.it/2007/06/926/ Programma della conferenza: Francesco Buccafurri, Gianluca Caminiti and Rosario Laurendi Testing Logic Programs with Multiple Chances Massimo Marchi, Giacomo Fiumara, Rosamaria Pagano and…