default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/agp/agp2001.bht:"
download as .bib file
@inproceedings{DBLP:conf/agp/BagnaraGHZ01,
author = {Roberto Bagnara and
Roberta Gori and
Patricia M. Hill and
Enea Zaffanella},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Finite-tree analysis for constraint logic-based languages},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {63--79},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/11.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BagnaraGHZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BagnaraZGH01,
author = {Roberto Bagnara and
Enea Zaffanella and
Roberta Gori and
Patricia M. Hill},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Boolean functions for finite-tree dependencies},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {81--96},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/12.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BagnaraZGH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BartheJ01,
author = {Gilles Barthe and
Blas C. Ruiz Jim{\'{e}}nez},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Tipos principales y cierre semi-completo para sistemas de tipos puros
extendidos (trabajo en desarrollo)},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {149--163},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/22.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BartheJ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/BoerGM01,
author = {Frank S. de Boer and
Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Proving correctness of timed concurrent constraint programs},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {213--228},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/23.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/BoerGM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CominiGL01,
author = {Marco Comini and
Roberta Gori and
Giorgio Levi},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {How to transform an analyzer into a verifier},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {131--148},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/16.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/CominiGL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DelzannoM01,
author = {Giorgio Delzanno and
Maurizio Martelli},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {An embedding of calculi for negation as failure into linear logic},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {165--179},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/10.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DelzannoM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierFO01,
author = {Agostino Dovier and
Andrea Formisano and
Eugenio G. Omodeo},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Decidability results for sets with atoms},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {245--259},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/17.pdf},
timestamp = {Mon, 13 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/DovierFO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/DovierPR01,
author = {Agostino Dovier and
Carla Piazza and
Gianfranco Rossi},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Multiset constraints and {P} systems},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {97--112},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/6.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/DovierPR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/FernandezMP01,
author = {Maribel Fern{\'{a}}ndez and
Ian Mackie and
Jorge Sousa Pinto},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Combining interaction nets with externally defined programs},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {297--312},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/19.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/FernandezMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GayoLDR01,
author = {Jos{\'{e}} Emilio Labra Gayo and
Juan Manuel Cueva Lovelle and
Mar{\'{\i}}a C{\'{a}}ndida Luengo D{\'{\i}}ez and
Agust{\'{\i}}n Cernuda del R{\'{\i}}o},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Reusable monadic semantics of logic programs with arithmetic predicates},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {31--45},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/4.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GayoLDR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GenaimC01,
author = {Samir Genaim and
Michael Codish},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Inferring termination conditions for logic programs using backwards
analysis},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {229--243},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/13.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GenaimC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/GrecoGZ01,
author = {Gianluigi Greco and
Sergio Greco and
Ester Zumpano},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Deterministic semantics for disjunctive logic programs},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {17--30},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/14.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/GrecoGZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/LeiteAP01,
author = {Jo{\~{a}}o Alexandre Leite and
Jos{\'{e}} J{\'{u}}lio Alferes and
Lu{\'{\i}}s Moniz Pereira},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Combining societal agents' knowledge},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {313--327},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/21.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/LeiteAP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/MorilloV01,
author = {Francisco Jos{\'{e}} Gal{\'{a}}n Morillo and
Jos{\'{e}} Miguel Ca{\~{n}}ete Valde{\'{o}}n},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Folding by similarity},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {181--195},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/8.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/MorilloV01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/OrejasPP01,
author = {Fernando Orejas and
Edelmira Pasarella and
Elvira Pino},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Semantics of normal logic programs with embedded implications},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {1--15},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/1.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/OrejasPP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PiazzaP01,
author = {Carla Piazza and
Alberto Policriti},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Deciding modal logics using tableaux and set theory},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {261--276},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/5.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/PiazzaP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PierroW01,
author = {Alessandra Di Pierro and
Herbert Wiklicky},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Quantum constraint programming},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {113--130},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/15.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/PierroW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/PitaM01,
author = {Isabel Pita and
Narciso Mart{\'{\i}}{-}Oliet},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Proving modal and temporal properties of rewriting logic programs},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {277--295},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/2.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/PitaM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/RamirezHR01,
author = {C{\`{e}}sar Ferri Ram{\'{\i}}rez and
Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
Mar{\'{\i}}a Jos{\'{e}} Ram{\'{\i}}rez{-}Quintana},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {{AND/OR} trees for the learning of functional logic programs},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {329--341},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/18.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/RamirezHR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/SaraivaA01,
author = {Jo{\~{a}}o Saraiva and
Pablo R. Azero Alcocer},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Component-based Programming for Attribute Grammars},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {343--358},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/7.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/SaraivaA01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Spoto01,
author = {Fausto Spoto},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {Logic programs as abstract domains},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {197--211},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/9.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Spoto01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/Uustalu01,
author = {Tarmo Uustalu},
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {(Co)monads from inductive and coinductive types (Extended Abstract)},
booktitle = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
pages = {47--61},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/finals/20.pdf},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/agp/Uustalu01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/agp/2001,
editor = {Lu{\'{\i}}s Moniz Pereira and
Paulo Quaresma},
title = {{APPIA-GULP-PRODE} 2001: Joint Conference on Declarative Programming,
{\'{E}}vora, Portgual, September 26-28, 2001, Proceedings, {\'{E}}vora,
Portugal, September 26-28, 2001},
publisher = {Departamento de Inform{\'{a}}tica, Universidade de {\'{E}}vora},
year = {2001},
url = {http://www.di.uevora.pt/\&\#126;pq/agp01/},
timestamp = {Thu, 22 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/2001.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.
retrieved on 2024-11-08 14:27 CET 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:
