default search action
Search dblp for Publications
export results for "toc:db/conf/agp/agp1997.bht:"
@inproceedings{DBLP:conf/agp/AlpuenteFMV97, author = {Mar{\'{\i}}a Alpuente and Moreno Falaschi and Gin{\'{e}}s Moreno and Germ{\'{a}}n Vidal}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Safe Folding/Unfolding with Conditional Narrowing}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {347--358}, year = {1997}, timestamp = {Thu, 02 Dec 2004 11:23:16 +0100}, biburl = {https://dblp.org/rec/conf/agp/AlpuenteFMV97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/AmatoL97, author = {Gianluca Amato and Giorgio Levi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Properties of the Lattice of Observables in Logic Programming}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {175--188}, year = {1997}, timestamp = {Mon, 02 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/AmatoL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Bagnara97, author = {Roberto Bagnara}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Structural Information Analysis for {CLP} Languages}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {81--92}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Bagnara97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BagnaraHZ97, author = {Roberto Bagnara and Patricia M. Hill and Enea Zaffanella}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Sharing Revisited}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {69--80}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/BagnaraHZ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BoerGM97, author = {Frank S. de Boer and Maurizio Gabbrielli and Maria Chiara Meo}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Semantics and Expressive Power of a Timed Concurrent Constraint Language}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {235--246}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/BoerGM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Bonatti97, author = {Piero A. Bonatti}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Constructive Negation for Transition System Specifications}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {283--294}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Bonatti97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BozzanoDM97, author = {Marco Bozzano and Giorgio Delzanno and Maurizio Martelli}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Linear Logic Semantics for Object-Oriented, Deductive and Active Databases}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {105--116}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/BozzanoDM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BravoP97, author = {Juan M. Molina{-}Bravo and Ernesto Pimentel}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Semantics for Modules in Functional-Logic Programming}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {259--270}, year = {1997}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/BravoP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BreitingerLOP97, author = {Silvia Breitinger and Rita Loogen and Yolanda Ortega{-}Mall{\'{e}}n and Ricardo Pe{\~{n}}a{-}Mar{\'{\i}}}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {High-level Parallel and Concurrent Programming in Eden}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {213--224}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/BreitingerLOP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/BuccafurriLR97, author = {Francesco Buccafurri and Nicola Leone and Pasquale Rullo}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Adding Weak Constraints to Disjunctive Datalog}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {557--568}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/BuccafurriLR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CadoliPL97, author = {Marco Cadoli and Luigi Palopoli and Maurizio Lenzerini}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Datalog and Description Logics: Expressive Power}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {333--344}, year = {1997}, timestamp = {Mon, 18 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/CadoliPL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CantoneAO97, author = {Domenico Cantone and Marianna Nicolosi Asmundo and Eugenio G. Omodeo}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Global Skolemization with Grouped Quantifiers}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {405--414}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/CantoneAO97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CarmonaDR97, author = {Roberta Carmona and Agostino Dovier and Gianfranco Rossi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Dealing with Infinite Intensional Sets in {CLP}}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {465--478}, year = {1997}, timestamp = {Wed, 23 Oct 2013 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/CarmonaDR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CharlierLRC97, author = {Baudouin Le Charlier and Christophe Lecl{\`{e}}re and Sabina Rossi and Agostino Cortesi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Automated Behavioural Verification of Prolog Programs}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {189--200}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/CharlierLRC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/CodishT97, author = {Michael Codish and Cohavit Taboch}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Semantic Basis for Termination Analysis of Logic Programs and its Realization Using Symbolic Norm Constraints}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {545--556}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/CodishT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Crazzolara97, author = {Federico Crazzolara}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Quasi-metric Spaces as Domains for Abstract Interpretation}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {45--56}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Crazzolara97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/DovierFP97, author = {Agostino Dovier and Andrea Formisano and Alberto Policriti}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {On {T} Logic Programming}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {457--466}, year = {1997}, timestamp = {Mon, 13 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/DovierFP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/DovierP97, author = {Agostino Dovier and Alberto Policriti}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Set domains for structural properties of terms}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {93--104}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/DovierP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/EiterLMPS97, author = {Thomas Eiter and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {The Architecture of a Disjunctive Deductive Database System}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {141--152}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/EiterLMPS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/FantanaF97, author = {Francesca Arcelli Fontana and Ferrante Formato}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Fuzzy Logic Programming Language}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {319--332}, year = {1997}, timestamp = {Tue, 11 Jan 2005 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/FantanaF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/FernandezH97, author = {Antonio J. Fern{\'{a}}ndez and Patricia M. Hill}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Boolean and Finite Domain Solvers Compared Using Self Referential Quizzes}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {533--544}, year = {1997}, timestamp = {Thu, 18 Oct 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/FernandezH97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/FerrandezPM97, author = {Antonio Ferr{\'{a}}ndez and Manuel Palomar and Lidia Moreno}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Slot Unification Grammar}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {523--532}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/FerrandezPM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/FerroSP97, author = {Manuel Vilares Ferro and David Cabrero Souto and Miguel Angel Alonso Pardo}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {An Approach to Infinite Terms Traversal in DCGs}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {307--318}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/FerroSP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/GervasiR97, author = {Vincenzo Gervasi and Alessandra Raffaet{\`{a}}}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Integrating Active Rules in U-Datalog}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {117--128}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/GervasiR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Giacobazzi97, author = {Roberto Giacobazzi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Systematic design of abstract interpretations}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {1--4}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Giacobazzi97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/GiacobazziS97, author = {Roberto Giacobazzi and Francesca Scozzari}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Intuitionistic Implication in Abstract Interpretation}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {33--44}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/GiacobazziS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/GiannottiMP97, author = {Fosca Giannotti and Giuseppe Manco and Dino Pedreschi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Deductive Data Model for Representing and Querying Semistructured Data}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {129--140}, year = {1997}, timestamp = {Thu, 05 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/GiannottiMP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/GuliasQF97, author = {V{\'{\i}}ctor M. Gul{\'{\i}}as and Juan J. Quintela and Jos{\'{e}} Luis Freire}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Transport Primitives for Functional Agents}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {501--510}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/GuliasQF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/GuptaP97, author = {Gopal Gupta and Enrico Pontelli}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {High Performance Parallel Logic Programming: The {ACE} Parallel Prolog System}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {25--32}, year = {1997}, timestamp = {Wed, 26 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/GuptaP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Hanus97, author = {Michael Hanus}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Unified Computation Model for Declarative Programming}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {9--24}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Hanus97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/LammaMMR97, author = {Evelina Lamma and Paola Mello and Michela Milano and Fabrizio Riguzzi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {An Algorithm for Learning Abductive Rules}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {295--306}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/LammaMMR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/LauO97, author = {Kung{-}Kiu Lau and Mario Ornaghi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {On the Relationship between Logic Programs and Specifications}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {433--444}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/LauO97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/LopezP97, author = {Pablo L{\'{o}}pez and Ernesto Pimentel}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Lazy Splitting System for Forum}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {247--258}, year = {1997}, timestamp = {Wed, 12 May 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/LopezP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Lucas97, author = {Salvador Lucas}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Computational Properties of Term Rewriting with Replacement Restrictions}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {393--404}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Lucas97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/LucioOP97, author = {Paqui Lucio and Fernando Orejas and Elvira Pino}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Monotonic Declarative Semantics for Normal Logic Programs}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {271--282}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/LucioOP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/MadrigalB97, author = {V{\'{\i}}ctor J. D{\'{\i}}az Madrigal and M. Toro Bonilla}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Parsing TAGs with Prolog}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {359--368}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/MadrigalB97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Manna97, author = {Zohar Manna}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Verification of Progress Properties}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {345--346}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Manna97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/MartelliMZ97, author = {Maurizio Martelli and Viviana Mascardi and Floriano Zini}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Applying Logic Programming to the Specification of Complex Applications}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {491--500}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/MartelliMZ97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Marti-Oliet97, author = {Narciso Mart{\'{\i}}{-}Oliet}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Rewriting logic and its applications}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {5--8}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Marti-Oliet97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/MiniussiS97, author = {Alain Miniussi and Robert Strandh}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {An Efficient Algorithm for Recognizing the Forward-Branching Class of Term-Rewriting Systems}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {445--456}, year = {1997}, timestamp = {Wed, 21 Sep 2005 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/MiniussiS97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/MontesT97, author = {Jos{\'{e}} Francisco Aldana Montes and Jos{\'{e}} M. Troya}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Concurrent Smart Evaluation of Datalog Queries}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {163--174}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/MontesT97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/Moreno97, author = {R. Moreno}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Semantic Framework for the Analysis of Concurrent Constraint Programming}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {57--68}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/Moreno97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/MorenoPM97, author = {Lidia Moreno and Manuel Palomar and Antonio Molina}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Gram{\'{a}}ticas Datalog Extendidas: Una Nueva Aproximaci{\'{o}}n}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {153--162}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/MorenoPM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/NicolasATA97, author = {Joaqu{\'{\i}}n Nicol{\'{a}}s and Juan Alcalde and Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez and Aurelio Arenas}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Formal Specification of a Scanning Tunnelling Microscope}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {511--522}, year = {1997}, timestamp = {Wed, 06 Feb 2008 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/NicolasATA97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/PierroW97, author = {Alessandra Di Pierro and Herbert Wiklicky}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {On Probabilistic {CCP}}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {225--234}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/PierroW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/PitaM97, author = {Isabel Pita and Narciso Mart{\'{\i}}{-}Oliet}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Using Reflection to Specify Transaction Sequences in Rewriting Logic}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {369--380}, year = {1997}, timestamp = {Wed, 18 May 2005 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/agp/PitaM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/ProvettiR97, author = {Alessandro Provetti and Gianfranco Rossi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Action Specifications in log}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {381--392}, year = {1997}, timestamp = {Thu, 28 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/ProvettiR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/RichardST97, author = {Gilles Richard and Fr{\'{e}}d{\'{e}}ric Saubion and A. Tellez{-}Arenas}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Intensional Set Constraints}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {479--490}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/RichardST97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/SeamonsWW97, author = {Kent E. Seamons and William H. Winsborough and Marianne Winslett}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {Internet Credential Acceptance Policies}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {415--432}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/SeamonsWW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/agp/SpotoL97, author = {Fausto Spoto and Giorgio Levi}, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {A Denotational Semantics for Prolog}, booktitle = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, pages = {201--212}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/SpotoL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/agp/1997, editor = {Moreno Falaschi and Marisa Navarro and Alberto Policriti}, title = {1997 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'97, Grado, Italy, June 16-19, 1997}, year = {1997}, timestamp = {Thu, 02 Dec 2004 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/agp/1997.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.