Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/agp/agp1998.bht:"
download as .bib file
@inproceedings{DBLP:conf/agp/AlbertAFIV98,
author = {Elvira Albert and
Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Pascual Juli{\'{a}}n Iranzo and
Germ{\'{a}}n Vidal},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Polygenetic Partial Evaluation of Lazy Functional Logic Programs},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {151--164},
year = {1998},
timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlbertAFIV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/AlferesLPPP98,
author = {Jos{\'{e}} J{\'{u}}lio Alferes and
Jo{\~{a}}o Alexandre Leite and
Lu{\'{\i}}s Moniz Pereira and
Halina Przymusinska and
Teodor C. Przymusinski},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Dynamic Logic Programming},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {393--408},
year = {1998},
timestamp = {Mon, 03 Jan 2005 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/AlferesLPPP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BagnaraS98,
author = {Roberto Bagnara and
Peter Schachte},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations
of Pos},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {227--240},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BagnaraS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BastaFG98,
author = {Stefano Basta and
Sergio Flesca and
Sergio Greco},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Extending Datalog to Express Functional Queries: {A} Language and
its Implementation},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {165--174},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BastaFG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CaballeroL98,
author = {Rafael Caballero and
Francisco Javier L{\'{o}}pez{-}Fraguas},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Parsing with Non-Deterministic Functions},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {87--100},
year = {1998},
timestamp = {Wed, 23 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/CaballeroL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CarroH98,
author = {Manuel Carro and
Manuel V. Hermenegildo},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Some Design Issues in the Visualization of Constraint Logic Program
Execution},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {71--86},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CarroH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CastroLG98,
author = {Ram{\'{o}}n Castro and
Xes{\'{u}}s M. L{\'{o}}pez and
V{\'{\i}}ctor M. Gul{\'{\i}}as},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {An {ODBC} Interface for Objective Caml},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {189--200},
year = {1998},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/CastroLG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CominiLV98,
author = {Marco Comini and
Giorgio Levi and
Giuliana Vitiello},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Modular Abstract Diagnosis},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {409--420},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CominiLV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CortesiDQT98,
author = {Agostino Cortesi and
Agostino Dovier and
Elisa Quintarelli and
Letizia Tanca},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Operational and Abstract Semantics of a Query Language for Semi-Structured
Information},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {175--188},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CortesiDQT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierPR98,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Narrowing the Gap between Set-Constraints and CLP(SET)-Constraints},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {43--56},
year = {1998},
timestamp = {Tue, 21 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DovierPR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/EscrigT98,
author = {M. Teresa Escrig and
Francisco Toledo},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {The Use of {CLP(FD)} Extended with CHRs for Qualitative Spatial Reasoning
and Qualitative Robot Navigation},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {365--378},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/EscrigT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FerroPS98,
author = {Manuel Vilares Ferro and
Miguel Angel Alonso Pardo and
David Cabrero Souto},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {A Comparison for Unification-Based Parsers},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {113--124},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/FerroPS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FormisanoOT98,
author = {Andrea Formisano and
Eugenio G. Omodeo and
Marco Temperini},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Plan of Activities on the Map Calculus},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {343--356},
year = {1998},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/FormisanoOT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GiacobazziRS98,
author = {Roberto Giacobazzi and
Francesco Ranzato and
Francesca Scozzari},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Building Complete Abstract Interpretations in a Linear Logic-based
Setting},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {241--254},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GiacobazziRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GoriLMS98,
author = {Roberta Gori and
E. Lastres and
R. Moreno and
Fausto Spoto},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Aproximating the Well-Founded Semantics for Normal Logic Programs
using Abstract Interpretation},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {433--442},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GoriLMS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Gutierrez-Naranjo98,
author = {Miguel A. Guti{\'{e}}rrez{-}Naranjo},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {The Inmediate Consequence Operator and Robinson's Operator},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {357--354},
year = {1998},
timestamp = {Tue, 03 Jan 2006 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Gutierrez-Naranjo98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Hernandez-OralloR98,
author = {Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
M. Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Inverse Narrowing for the Induction of Functional Logic Programs},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {379--392},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Hernandez-OralloR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/HillBZ98,
author = {Patricia M. Hill and
Roberto Bagnara and
Enea Zaffanella},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {The Correctness of Set-Sharing},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {255--268},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/HillBZ98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Lallouet98,
author = {Arnaud Lallouet},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Semantics of a Data-Parallel Logic Language using the {BSP} Execution
Model},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {1--14},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Lallouet98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LammaMCMP98,
author = {Evelina Lamma and
Michela Milano and
Rita Cucchiara and
Paola Mello and
Massimo Piccardi},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Interactive Constraint Satisfaction and its Application to Visual
Object Recognition},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {57--70},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LammaMCMP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LanzaroneP98,
author = {Gaetano Aurelio Lanzarone and
Alessandro Provetti},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Processing Temporal and Atemporal Declarative Knowledge in Metalogic
Programming},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {201--214},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LanzaroneP98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LastresM98,
author = {E. Lastres and
R. Moreno},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {A Semantics for Logic Programs based on First Order Hereditary Harrop
Formulas},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {421--432},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LastresM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LauO98,
author = {Kung{-}Kiu Lau and
Mario Ornaghi},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Isoinitial Models for Logic Programs: {A} Preliminary Study},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {443--456},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LauO98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LeviV98,
author = {Giorgio Levi and
Paolo Volpe},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Derivation of Proof Methods by Abstract Interpretation},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {283--292},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LeviV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LeviV98a,
author = {Giorgio Levi and
W. Volpi},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Set Based-Analysis of Logic Programs via Abstract Interpretation},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {303--310},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LeviV98a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MarinoM98,
author = {Julio Mari{\~{n}}o and
Juan Jos{\'{e}} Moreno{-}Navarro},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Recovering Sequentiality in Functional-Logic Programs},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {137--150},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/MarinoM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Moreno-NavarroM98,
author = {Juan Jos{\'{e}} Moreno{-}Navarro and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {On the Practical Use of Negation in a Prolog Compiler},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {457--469},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Moreno-NavarroM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MorilloB98,
author = {Francisco Jos{\'{e}} Gal{\'{a}}n Morillo and
M. Toro Bonilla},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Object Oriented Software Systems Defined by Constructive Logical Methods},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {125--136},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/MorilloB98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Pearce98,
author = {David Pearce},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Back and Forth Semantics for Normal, Disjunctive and Extended Logic
programs},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {329--342},
year = {1998},
timestamp = {Fri, 05 Feb 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Pearce98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PierroW98,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {A Markov Model for Probabilistic Concurrent Constraint Programming},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {15--28},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/PierroW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PuenteVVA98,
author = {Jorge Puente and
Ramiro Varela and
Camino R. Vela and
C{\'{e}}sar Luis Alonso},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {A Parallel Programming Approach to Job Shop Scheduling Constrain Satisfaction
Problems},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {29--42},
year = {1998},
timestamp = {Tue, 25 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/PuenteVVA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PuigsegurA98,
author = {Jordi Puigsegur and
Jaume Agust{\'{\i}}{-}Cullell},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Visual Logic Programming by Means of Diagram Transformations},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {311--328},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/PuigsegurA98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/SpotoL98,
author = {Fausto Spoto and
Giorgio Levi},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {An Experiment in Domain Refinement: Type Domains and Type Representations
for Logic Programs},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {269--282},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/SpotoL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/TarauD98,
author = {Paul Tarau and
Ver{\'{o}}nica Dahl},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Code Migration with First Order Continuations},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {215--226},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/TarauD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Velazquez-Iturbide98,
author = {J. {\'{A}}ngel Vel{\'{a}}zquez{-}Iturbide},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Automatic Simplification of the Visualization of Functional Expressions
by Means of Fisheyes Views},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {101--112},
year = {1998},
timestamp = {Tue, 05 Jun 2007 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/Velazquez-Iturbide98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Volpe98,
author = {Paolo Volpe},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {A First-Order Language for Expressing Aliasing and Type Properties
of Logic Programs},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {293--302},
year = {1998},
timestamp = {Thu, 02 Dec 2004 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Volpe98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/1998,
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
year = {1998},
timestamp = {Wed, 21 Nov 2007 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-04-18 10:58 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
