Proceedings, split paper per paper, are the following: Preface by Francesco Buccafurri. agp2003-000_Buccafurri Domenico Cantone, Calogero G. Zarba: A Decision Procedure for Monotone Functions over Lattices. APPIA-GULP-PRODE 2003: 1-12 agp2003-001_Cantone Elvira Albert, Josep Silva, Germán Vidal: Time Equations for Lazy Functional (Logic) Languages. APPIA-GULP-PRODE…
Yearly Archives: 2003
GULP Workshop 2003 , Venice (Italy)
Giornata GULP 2003 in concomitanza con la riunione del Direttivo e l’Assemblea dei soci 19 dicembre 2003, Venezia La giornata GULP si terrà presso il Dipartimento di Informatica dell’Università “Ca’ Foscari” di Venezia Via Torino 155, Mestre Programma della Giornata…
XVIII. X APPIA-GULP-PRODE (2003), Reggio Calabria (Italy)
XVIII. X APPIA-GULP-PRODE (2003), Reggio Calabria (Italy)