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/agp1997.bht:"
download as .bib file
@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}
}
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-06-04 08:39 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:
