Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/agp/agp1998.bht:"
@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} }
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.