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…
Pubblicazioni
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2002
Introduction and Index agp02_intro A Functional Logic Language with Finite Domain Constraints. Antonio J. Fernández, Teresa Hortalá-González and Fernando Sáenz-Pérez agp02_07 Combining Crisp and Fuzzy Logic in a Prolog Compiler. Susana Muñoz, Claudio Vaucheret and Sergio Guadarrama agp02_23…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2001
Accepted papers Semantics of normal logic programs with embedded implications. F. Orejas, E. Pasarella, E. Pino Proving modal and temporal properties of rewriting logic programs. I. Pita, N. Martí-Oliet Reusable Monadic Semantics of Logic Programs with Arithmetic Predicates. J. Labra…
Electronic Notes in Theoretical Computer Science – Special Issue on AGP 2000
The Special Issue on the APPIA, GULP, and PRODE Conference AGP 2000, has been published as Vol 48, June 2001 of Electronic Notes in Theoretical Computer Science. Read the preface.
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 2000
Informal proceedings with program and abstracts: AGP2000-program Post proceedings are published in ENTCS VOL 48, 2001
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1999
The proceedings (unique file of 14MB) are the following: AGP1999
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…
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1998
Conference proceedings, split by paper, are available from here
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1997
The preface and all the papers are available from http://www.programmazionelogica.it/1997/06/xii-iv-appia-gulp-prode-1997-opacgrado-italy/
Proceedings Joint Conference on Declarative Programming – APPIA-GULP-PRODE 1996
Editors: Paqui Lucio, Maurizio Martelli, Marisa Navarro