Pubblicazioni

Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2003

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…

XIII. V APPIA-GULP-PRODE (1998), La Coruña (Spain)

XIII. V APPIA-GULP-PRODE (1998), La Coruña (Spain) 20-23 Luglio 1998 Program chairs: José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro Conference Proceedings: Invited Speakers Xavier Leroy (INRIA, France) Jaume Augustì (CSIC, Spain) Veronica Dahl (Simon Fraser University, Canada) Josè Luis…