Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:streams/conf/alp:"
download as .bib file
@inproceedings{DBLP:conf/plilp/AjiliL98,
author = {Farid Ajili and
Hendrik C. R. Lock},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Integrating Constraint Propagation in Complete Solving of Linear Diophantine
Systems},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {463--480},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056633},
doi = {10.1007/BFB0056633},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/AjiliL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Aoto98,
author = {Takahito Aoto},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Solution to the Problem of Zantema on a Persistent Property of Term
Rewriting Systems},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {250--265},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056618},
doi = {10.1007/BFB0056618},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Aoto98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Arenas-SanchezLR98,
author = {Puri Arenas{-}S{\'{a}}nchez and
Francisco Javier L{\'{o}}pez{-}Fraguas and
Mario Rodr{\'{u}}guez{-}Arteljo},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Embedding Multiset Constraints into a Lazy Functional Logic Language},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {429--444},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056631},
doi = {10.1007/BFB0056631},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Arenas-SanchezLR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Asperti98,
author = {Andrea Asperti},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Optimal Reduction of Functional Expressions},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {427--428},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056630},
doi = {10.1007/BFB0056630},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Asperti98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BreitingerKL98,
author = {Silvia Breitinger and
Ulrike Klusik and
Rita Loogen},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {From (Sequential) Haskell to (Parallel) Eden: An Implementation Point
of View},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {318--334},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056623},
doi = {10.1007/BFB0056623},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BreitingerKL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/BruynoogheVWD98,
author = {Maurice Bruynooghe and
Henk Vandecasteele and
D. Andre de Waal and
Marc Denecker},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Detecting Unsolvable Queries for Definite Logic Programs},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {118--133},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056611},
doi = {10.1007/BFB0056611},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BruynoogheVWD98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/ClearyL98,
author = {John G. Cleary and
Lunjin Lu},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Constructive Negation Using Typed Existence Properties},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {411--426},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056629},
doi = {10.1007/BFB0056629},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/ClearyL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CodishS98,
author = {Michael Codish and
Harald S{\o}ndergaard},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {The Boolean Logic of Set Sharing Analysis},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {89--101},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056609},
doi = {10.1007/BFB0056609},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/plilp/CodishS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/ConselM98,
author = {Charles Consel and
Renaud Marlet},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Architecture Software Using: {A} Methodology for Language Development},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {170--194},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056614},
doi = {10.1007/BFB0056614},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/ConselM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CosmoLN98,
author = {Roberto Di Cosmo and
Jean{-}Vincent Loddo and
Stephane Nicolet},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {A Game Semantics Foundation for Logic Programming (Extended Abstract)},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {355--373},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056626},
doi = {10.1007/BFB0056626},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CosmoLN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CuiDDKRRRSW98,
author = {Baoqiu Cui and
Yifei Dong and
Xiaoqun Du and
K. Narayan Kumar and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Abhik Roychoudhury and
Scott A. Smolka and
David Scott Warren},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Logic Programming and Model Checking},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {1--20},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056604},
doi = {10.1007/BFB0056604},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CuiDDKRRRSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/DemoenS98,
author = {Bart Demoen and
Konstantinos Sagonas},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {{CAT:} The Copying Approach to Tabling},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {21--35},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056605},
doi = {10.1007/BFB0056605},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/DemoenS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Elliott98,
author = {Conal Elliott},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Functional Implementations of Continuos Modeled Animation},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {284--299},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056621},
doi = {10.1007/BFB0056621},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Elliott98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/EskilsonC98,
author = {Jesper Eskilson and
Mats Carlsson},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {SICStus {MT} - {A} Multithreaded Execution Environment for SICStus
Prolog},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {36--53},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056606},
doi = {10.1007/BFB0056606},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/EskilsonC98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/FeeleyL98,
author = {Marc Feeley and
Martin Larose},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Compiling Erlang to Scheme},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {300--317},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056622},
doi = {10.1007/BFB0056622},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/FeeleyL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/GoguenMK98,
author = {Joseph A. Goguen and
Grant Malcolm and
Tom Kemp},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {A Hidden Herbrand Theorem},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {445--462},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056632},
doi = {10.1007/BFB0056632},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/GoguenMK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Hannan98,
author = {John Hannan},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Program Analysis in Lambda-Prolog},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {353--354},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056625},
doi = {10.1007/BFB0056625},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Hannan98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HanusS98,
author = {Michael Hanus and
Frank Steiner},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Controlling Search in Declarative Programs},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {374--390},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056627},
doi = {10.1007/BFB0056627},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/HanusS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/HatcliffDL98,
author = {John Hatcliff and
Matthew B. Dwyer and
Shawn Laubach},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Staging Static Analyses Using Abstraction-Based Program Specialization},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {134--151},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056612},
doi = {10.1007/BFB0056612},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/HatcliffDL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/KesnerL98,
author = {Delia Kesner and
Pablo E. Mart{\'{\i}}nez L{\'{o}}pez},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Explicit Substitutions for Objects and Functions},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {195--212},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056615},
doi = {10.1007/BFB0056615},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/KesnerL98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/LeviS98,
author = {Giorgio Levi and
Fausto Spoto},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {An Experiment in Domain Refinement: Type Domains and Type Representations
for Logic Programs},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {152--169},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056613},
doi = {10.1007/BFB0056613},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/LeviS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/LeviV98,
author = {Giorgio Levi and
Paolo Volpe},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Derivation of Proof Methods by Abstract Interpretation},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {102--117},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056610},
doi = {10.1007/BFB0056610},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/LeviV98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/LimetS98,
author = {S{\'{e}}bastien Limet and
Fr{\'{e}}d{\'{e}}ric Saubion},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {A General Framework for R-Unification Problems},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {266--281},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056619},
doi = {10.1007/BFB0056619},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/LimetS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/LiptonM98,
author = {James Lipton and
Robert McGrail},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Encapsulating Data in Logic Programming via Categorial Constraints},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {391--410},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056628},
doi = {10.1007/BFB0056628},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/LiptonM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/MoreauK98,
author = {Pierre{-}Etienne Moreau and
H{\'{e}}l{\`{e}}ne Kirchner},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {A Compiler for Rewrite Programs in Associative-Commutative Theories},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {230--249},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056617},
doi = {10.1007/BFB0056617},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/MoreauK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Pitts98,
author = {Andrew M. Pitts},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Operational Versus Denotational Methods in the Semantics of Higher
Order Languages},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {282--283},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056620},
doi = {10.1007/BFB0056620},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Pitts98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/PontelliRG98,
author = {Enrico Pontelli and
Desh Ranjan and
Gopal Gupta},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {The Complexity of Late-Binding in Dynamic Object-Oriented Languages},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {213--229},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056616},
doi = {10.1007/BFB0056616},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/PontelliRG98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Refalo98,
author = {Philippe Refalo},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Approaches to the Incremental Detection of Implicit Equalities with
the Revised Simplex Method},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {481--496},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056634},
doi = {10.1007/BFB0056634},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Refalo98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/SmausHK98,
author = {Jan{-}Georg Smaus and
Patricia M. Hill and
Andy King},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Termination of Logic Programs with block Declarations Running in Several
Modes},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {73--88},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056608},
doi = {10.1007/BFB0056608},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/SmausHK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/VanhoofSM98,
author = {Wim Vanhoof and
Danny De Schreye and
Bern Martens},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {A Framework for Bottom Up Specialisation of Logic Programs},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {54--72},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056607},
doi = {10.1007/BFB0056607},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/VanhoofSM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/Wakeling98,
author = {David Wakeling},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Mobile Haskell: Compiling Lazy Functional Programs for the Java Virtual
Machine},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {335--352},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056624},
doi = {10.1007/BFB0056624},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/Wakeling98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1998,
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056603},
doi = {10.1007/BFB0056603},
isbn = {3-540-65012-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/1998.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AbdennadherS97,
author = {Slim Abdennadher and
Heribert Sch{\"{u}}tz},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Model Generation with Existentially Quantified Variables and Constraints},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {256--272},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027015},
doi = {10.1007/BFB0027015},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/AbdennadherS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Almendros-JimenezG97,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Ana Gil{-}Luezas},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Lazy Narrowing with Parametric Order Sorted Types},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {159--173},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027009},
doi = {10.1007/BFB0027009},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Almendros-JimenezG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AlpuenteFMV97,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Gin{\'{e}}s Moreno and
Germ{\'{a}}n Vidal},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Safe Folding/Unfolding with Conditional Narrowing},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {1--15},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026999},
doi = {10.1007/BFB0026999},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AlpuenteFMV97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Antoy97,
author = {Sergio Antoy},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Optimal Non-deterministic Functional Logic Computations},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {16--30},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027000},
doi = {10.1007/BFB0027000},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Antoy97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AotoT97,
author = {Takahito Aoto and
Yoshihito Toyama},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {On Composable Properties of Term Rewriting Systems},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {114--128},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027006},
doi = {10.1007/BFB0027006},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AotoT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BartheKR97,
author = {Gilles Barthe and
Fairouz Kamareddine and
Alejandro R{\'{\i}}os},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Explicit Substitutions for the Lambda-Calculus},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {209--223},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027012},
doi = {10.1007/BFB0027012},
timestamp = {Wed, 28 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BartheKR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BartheR97,
author = {Gilles Barthe and
Femke van Raamsdonk},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Termination of Algebraic Type Systems: The Syntactic Approach},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {174--193},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027010},
doi = {10.1007/BFB0027010},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BartheR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CairesM97,
author = {Lu{\'{\i}}s Caires and
Lu{\'{\i}}s Monteiro},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Proof Net Semantics of Proof Search Computation},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {194--208},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027011},
doi = {10.1007/BFB0027011},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/CairesM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CesarM97,
author = {C{\'{e}}sar Mu{\~{n}}oz},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {A Left-Linear Variant of Lambda-Sigma},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {224--239},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027013},
doi = {10.1007/BFB0027013},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/CesarM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CodishT97,
author = {Michael Codish and
Cohavit Taboch},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {A Semantic Basis for Termination Analysis of Logic Programs and Its
Realization Using Symbolic Norm Constraints},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {31--45},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027001},
doi = {10.1007/BFB0027001},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/CodishT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/GeserG97,
author = {Alfons Geser and
Sergei Gorlatch},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Parallelizing Functional Programs by Generalization},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {46--60},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027002},
doi = {10.1007/BFB0027002},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/GeserG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KhasidashviliO97,
author = {Zurab Khasidashvili and
Mizuhito Ogawa},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Perpetuality and Uniform Normalization},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {240--255},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027014},
doi = {10.1007/BFB0027014},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/KhasidashviliO97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KirchnerR97,
author = {Claude Kirchner and
Christophe Ringeissen},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Higher-Order Equational Unification via Explicit Substitutions},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {61--75},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027003},
doi = {10.1007/BFB0027003},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/KirchnerR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Lucas97,
author = {Salvador Lucas},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Needed Reductions with Context-Sensitive Rewriting},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {129--143},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027007},
doi = {10.1007/BFB0027007},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Lucas97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/NedjahWE97,
author = {Nadia Nedjah and
Colin D. Walter and
Stephen E. Eldridge},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Optimal Left-to-Right Pattern-Matching Automata},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {273--286},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027016},
doi = {10.1007/BFB0027016},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/NedjahWE97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Ohlebusch97,
author = {Enno Ohlebusch},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Conditional Term Graph Rewriting},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {144--158},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027008},
doi = {10.1007/BFB0027008},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Ohlebusch97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Steggles97,
author = {L. J. Steggles},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Parameterised Higher-Order Algebraic Specifications},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {76--98},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027004},
doi = {10.1007/BFB0027004},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Steggles97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/SuzukiNI97,
author = {Taro Suzuki and
Koji Nakagawa and
Tetsuo Ida},
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Higher-Order Lazy Narrowing Calculus: {A} Computation Model for a
Higher-Order Functional Logic Language},
booktitle = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
pages = {99--113},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0027005},
doi = {10.1007/BFB0027005},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/SuzukiNI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1997,
editor = {Michael Hanus and
Jan Heering and
Karl Meinke},
title = {Algebraic and Logic Programming, 6th International Joint Conference,
{ALP} '97 - {HOA} '97, Southampton, UK, Spetember 3-5, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1298},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026998},
doi = {10.1007/BFB0026998},
isbn = {3-540-63459-2},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1997.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Almendros-JimenezGG96,
author = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez and
Antonio Gavilanes{-}Franco and
Ana Gil{-}Luezas},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Algebraic Semantics for Functional Logic Programming with Polymorphic
Order-Sorted Types},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {299--313},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_20},
doi = {10.1007/3-540-61735-3\_20},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/Almendros-JimenezGG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AlouiniK96,
author = {Ilies Alouini and
Claude Kirchner},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Toward the Concurrent Implementation of Computational Systems},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {1--31},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_1},
doi = {10.1007/3-540-61735-3\_1},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AlouiniK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AnconaZ96,
author = {Davide Ancona and
Elena Zucca},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {An Algebraic Approach to Mixins and Modularity},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {179--193},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_12},
doi = {10.1007/3-540-61735-3\_12},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AnconaZ96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BandaHM96,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Independence in Dynamically Scheduled Logic Languages},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {47--61},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_3},
doi = {10.1007/3-540-61735-3\_3},
timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BandaHM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Benhamou96,
author = {Fr{\'{e}}d{\'{e}}ric Benhamou},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Heterogeneous Constraint Solving},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {62--76},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_4},
doi = {10.1007/3-540-61735-3\_4},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Benhamou96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BrimJGK96,
author = {Lubos Brim and
Jean{-}Marie Jacquet and
David R. Gilbert and
Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}}},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Process Algebra for Synchronous Concurrent Constraint Programming},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {165--178},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_11},
doi = {10.1007/3-540-61735-3\_11},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BrimJGK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Caires96,
author = {Lu{\'{\i}}s Caires},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Language for the Logical Specification of Processes and Relations},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {150--164},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_10},
doi = {10.1007/3-540-61735-3\_10},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Caires96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FagesG96,
author = {Fran{\c{c}}ois Fages and
Roberta Gori},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Hierarchy of Semantics for Normal Constraint Logic Programs},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {77--91},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_5},
doi = {10.1007/3-540-61735-3\_5},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/FagesG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FassbenderM96,
author = {Heinz Fa{\ss}bender and
Sebastian Maneth},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Strict Border for the Decidability of E-Unification for Recursive
Functions},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {194--208},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_13},
doi = {10.1007/3-540-61735-3\_13},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/FassbenderM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FerreiraKP96,
author = {Maria C. F. Ferreira and
Delia Kesner and
Laurence Puel},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Lambda-Calculi with Explicit Substitutions and Composition Which Preserve
Beta-Strong Normalization},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {284--298},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_19},
doi = {10.1007/3-540-61735-3\_19},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/FerreiraKP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/GiacobazziR96,
author = {Roberto Giacobazzi and
Francesco Ranzato},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Complementing Logic Program Semantics},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {238--253},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_16},
doi = {10.1007/3-540-61735-3\_16},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/GiacobazziR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KennawayOV96,
author = {Richard Kennaway and
Vincent van Oostrom and
Fer{-}Jan de Vries},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Meaningless Terms in Rewriting},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {254--268},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_17},
doi = {10.1007/3-540-61735-3\_17},
timestamp = {Mon, 16 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/KennawayOV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KhasidashviliG96,
author = {Zurab Khasidashvili and
John R. W. Glauert},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Discrete Normalization and Standardization in Deterministic Residual
Structures},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {135--149},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_9},
doi = {10.1007/3-540-61735-3\_9},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/KhasidashviliG96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/ManoO96,
author = {Ken Mano and
Mizuhito Ogawa},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Unique Normal Form Property of Higher-Order Rewriting Systems},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {269--283},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_18},
doi = {10.1007/3-540-61735-3\_18},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/ManoO96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Marchiori96,
author = {Massimo Marchiori},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Unravelings and Ultra-properties},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {107--121},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_7},
doi = {10.1007/3-540-61735-3\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Marchiori96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Marchiori96a,
author = {Elena Marchiori},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Prime Factorizations of Abstract Domains Using First Order Logic},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {209--223},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_14},
doi = {10.1007/3-540-61735-3\_14},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Marchiori96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Nazareth96,
author = {Dieter Nazareth},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Specifying Type Systems},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {314--329},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_21},
doi = {10.1007/3-540-61735-3\_21},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Nazareth96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Nazareth96a,
author = {Dieter Nazareth},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {The Semantic Treatment of Polymorphic Specification Languages},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {330--344},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_22},
doi = {10.1007/3-540-61735-3\_22},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Nazareth96a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/OlveszkyL96,
author = {Peter Csaba {\"{O}}lveczky and
Olav Lysne},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Order-Sorted Termination: The Unsorted Way},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {92--106},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_6},
doi = {10.1007/3-540-61735-3\_6},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/OlveszkyL96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/PierroD96,
author = {Alessandra Di Pierro and
Wlodzimierz Drabent},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {On Negation As Instantiation},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {32--46},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_2},
doi = {10.1007/3-540-61735-3\_2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/PierroD96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Suzuki96,
author = {Taro Suzuki},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Standardization Theorem Revisited},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {122--134},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_8},
doi = {10.1007/3-540-61735-3\_8},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Suzuki96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Volpe96,
author = {Paolo Volpe},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Abstractions of Uniform Proofs},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {224--237},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_15},
doi = {10.1007/3-540-61735-3\_15},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Volpe96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1996,
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3},
doi = {10.1007/3-540-61735-3},
isbn = {3-540-61735-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AlpuenteFV94,
author = {Mar{\'{\i}}a Alpuente and
Moreno Falaschi and
Germ{\'{a}}n Vidal},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Compositional Analysis for Equational Horn Programs},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {77--94},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_8},
doi = {10.1007/3-540-58431-5\_8},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AlpuenteFV94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AntoyM94,
author = {Sergio Antoy and
Aart Middeldorp},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Sequential Reduction Strategy},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {168--185},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_13},
doi = {10.1007/3-540-58431-5\_13},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AntoyM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Balbiani94,
author = {Philippe Balbiani},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Equation Solving in Projective Planes and Planar Ternary Rings},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {95--113},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_9},
doi = {10.1007/3-540-58431-5\_9},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Balbiani94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BidoitH94,
author = {Michel Bidoit and
Rolf Hennicker},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Proving Behavioural Theorems with Standard First-Order Logic},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {41--58},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_6},
doi = {10.1007/3-540-58431-5\_6},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BidoitH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BossiC94,
author = {Annalisa Bossi and
Nicoletta Cocco},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Preserving Universal Termination through Unfold/Fold},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {269--286},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_19},
doi = {10.1007/3-540-58431-5\_19},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BossiC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bouhoula94,
author = {Adel Bouhoula},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Sufficient Completeness and Parameterized Proofs by Induction},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {23--40},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_5},
doi = {10.1007/3-540-58431-5\_5},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Bouhoula94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BuenoHMR94,
author = {Francisco Bueno and
Manuel V. Hermenegildo and
Ugo Montanari and
Francesca Rossi},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {From Eventual to Atomic Locally Atomic {CC} Programs: {A} Concurrent
Semantics},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {114--132},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_10},
doi = {10.1007/3-540-58431-5\_10},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/BuenoHMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/CodishM94,
author = {Michael Codish and
Grigory Mashevitzky},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Proving Implications by Algebraic Approximation},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {6--22},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_4},
doi = {10.1007/3-540-58431-5\_4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/CodishM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FerreiraZ94,
author = {Maria C. F. Ferreira and
Hans Zantema},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Syntactical Analysis of Total Termination},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {204--222},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_15},
doi = {10.1007/3-540-58431-5\_15},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/FerreiraZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Gramlich94,
author = {Bernhard Gramlich},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {On Modularity of Termination and Confluence Properties of Conditional
Rewrite Systems},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {186--203},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_14},
doi = {10.1007/3-540-58431-5\_14},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Gramlich94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/JonesR94,
author = {Neil D. Jones and
Mads Rosendahl},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Higher-Order Minimal Functional Graphs},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {242--252},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_17},
doi = {10.1007/3-540-58431-5\_17},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/JonesR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Kesner94,
author = {Delia Kesner},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Reasoning about Layered, Wildcard and Product Patterns},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {253--268},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_18},
doi = {10.1007/3-540-58431-5\_18},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Kesner94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Marchiori94,
author = {Massimo Marchiori},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Logic Programs as term Rewriting Systems},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {223--241},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_16},
doi = {10.1007/3-540-58431-5\_16},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Marchiori94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Marchiori94a,
author = {Elena Marchiori},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {A Logic for Variable Aliasing in Logic Programs},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {287--304},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_20},
doi = {10.1007/3-540-58431-5\_20},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Marchiori94a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Miller94,
author = {Dale Miller},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Specifications Using Multiple-Conclusion Logic Programs},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {3--4},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_2},
doi = {10.1007/3-540-58431-5\_2},
timestamp = {Sun, 12 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/Miller94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Paige94,
author = {Robert Paige},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Viewing {A} program Transformation System At Work},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {5},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_3},
doi = {10.1007/3-540-58431-5\_3},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Paige94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Palamidessi94,
author = {Catuscia Palamidessi},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Concurrent Constraint Programming},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {1--2},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_1},
doi = {10.1007/3-540-58431-5\_1},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Palamidessi94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Teusink94,
author = {Frank Teusink},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Three-Valued Completion for Abductive Logic Programs},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {150--167},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_12},
doi = {10.1007/3-540-58431-5\_12},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Teusink94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Volpe94,
author = {Paolo Volpe},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Concurrent Logic Programming as Uniform Linear Proofs},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {133--149},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_11},
doi = {10.1007/3-540-58431-5\_11},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Volpe94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/WernerBK94,
author = {Andreas Werner and
Alexander Bockmayr and
Stefan Krischer},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {How to Realize {LSE} Narrowing},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {59--76},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_7},
doi = {10.1007/3-540-58431-5\_7},
timestamp = {Mon, 18 Mar 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/WernerBK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1994,
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5},
doi = {10.1007/3-540-58431-5},
isbn = {3-540-58431-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Ait-Kaci92,
author = {Hassan A{\"{\i}}t{-}Kaci},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Outline of an Object-Oriented Calculus of Higher Type (Abstract)},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {1--2},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013815},
doi = {10.1007/BFB0013815},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/Ait-Kaci92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Antoy92,
author = {Sergio Antoy},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Definitional Trees},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {143--157},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013825},
doi = {10.1007/BFB0013825},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Antoy92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AptMP92,
author = {Krzysztof R. Apt and
Elena Marchiori and
Catuscia Palamidessi},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {A Theory of First-Order Built-in's of Prolog},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {69--83},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013820},
doi = {10.1007/BFB0013820},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AptMP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/AravindanD92,
author = {Chandrabose Aravindan and
Phan Minh Dung},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Partial Deduction of Logic Programs wrt Well-Founded Semantics},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {384--402},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013839},
doi = {10.1007/BFB0013839},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/AravindanD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BachmairGW92,
author = {Leo Bachmair and
Harald Ganzinger and
Uwe Waldmann},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Theorem Proving for Hierarchic First-Order Theories},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {420--434},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013841},
doi = {10.1007/BFB0013841},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BachmairGW92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Balbiani92,
author = {Philippe Balbiani},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {The Finiteness of Logic Programming Derivations},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {403--419},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013840},
doi = {10.1007/BFB0013840},
timestamp = {Thu, 23 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Balbiani92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BarbutiCGM92,
author = {Roberto Barbuti and
Michael Codish and
Roberto Giacobazzi and
Michael J. Maher},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Oracle Semantics for Prolog},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {100--114},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013822},
doi = {10.1007/BFB0013822},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/BarbutiCGM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BoudetC92,
author = {Alexandre Boudet and
Evelyne Contejean},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {On \emph{n}-Syntactic Equational Theories},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {446--457},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013843},
doi = {10.1007/BFB0013843},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BoudetC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BundgenE92,
author = {Reinhard B{\"{u}}ndgen and
Hasko Eckhardt},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {A Fast Algorithm for Ground Normal Form Analysis},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {291--305},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013833},
doi = {10.1007/BFB0013833},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BundgenE92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Echahed92,
author = {Rachid Echahed},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Uniform Narrowing Strategies},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {259--275},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013831},
doi = {10.1007/BFB0013831},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Echahed92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/EhrigP92,
author = {Hartmut Ehrig and
Francesco Parisi{-}Presicce},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {High-Level-Replacement Systems for Equational Algebraic Specifications},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {3--20},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013816},
doi = {10.1007/BFB0013816},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/EhrigP92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/GabbrielliM92,
author = {Maurizio Gabbrielli and
Maria Chiara Meo},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Fixpoint Semantics for Partial Computed Answer Substitutions and Call
Patterns},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {84--99},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013821},
doi = {10.1007/BFB0013821},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/GabbrielliM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/GioviniMC92,
author = {Alessandro Giovini and
Franco Morando and
Antonio Capani},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Implementation of a Toolset for Prototyping Algebraic Specifications
of Concurrent Systems},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {335--349},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013836},
doi = {10.1007/BFB0013836},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/GioviniMC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Gnaedig92,
author = {Isabelle Gnaedig},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Termination of Order-sorted Rewriting},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {37--52},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013818},
doi = {10.1007/BFB0013818},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Gnaedig92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Gramlich92,
author = {Bernhard Gramlich},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Generalized Sufficient Conditions for Modular Termination of Rewriting},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {53--68},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013819},
doi = {10.1007/BFB0013819},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Gramlich92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hanus92,
author = {Michael Hanus},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Incremental Rewriting in Narrowing Derivations},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {228--243},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013829},
doi = {10.1007/BFB0013829},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hanus92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hardin92,
author = {Th{\'{e}}r{\`{e}}se Hardin},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Eta-conversion for the Languages of Explicit Substitutions},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {306--321},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013834},
doi = {10.1007/BFB0013834},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hardin92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hermann92,
author = {Miki Hermann},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {On the Relation Between Primitive Recursion, Schematization and Divergence},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {115--127},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013823},
doi = {10.1007/BFB0013823},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hermann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hoffmann92,
author = {Berthold Hoffmann},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Term Rewriting with Sharing and Memo{\"{\i}}zation},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {128--142},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013824},
doi = {10.1007/BFB0013824},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hoffmann92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hong92,
author = {Hoon Hong},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Non-linear Real Constraints in Constraint Logic Programming},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {201--212},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013827},
doi = {10.1007/BFB0013827},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hong92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KingS92,
author = {Andy King and
Paul Soper},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Serialisation Analysis of Concurrent Logic Programs},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {322--334},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013835},
doi = {10.1007/BFB0013835},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/KingS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/LaneveM92,
author = {Cosimo Laneve and
Ugo Montanari},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Axiomatizing Permutation Equivalence in the Lambda-Calculus},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {350--363},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013837},
doi = {10.1007/BFB0013837},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/LaneveM92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Lescanne92,
author = {Pierre Lescanne},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Termination of Rewrite Systems by Elementary Interpretations},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {21--36},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013817},
doi = {10.1007/BFB0013817},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Lescanne92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Lopez-Fraguas92,
author = {Francisco Javier L{\'{o}}pez{-}Fraguas},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {A General Scheme for Constraint Functional Logic Programming},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {213--227},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013828},
doi = {10.1007/BFB0013828},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Lopez-Fraguas92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Lysne92,
author = {Olav Lysne},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Proof by Consistency in Constructive Systems with Final Algebra Semantics},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {276--290},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013832},
doi = {10.1007/BFB0013832},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Lysne92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Maher92,
author = {Michael J. Maher},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {A {CLP} View of Logic Programming},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {364--383},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013838},
doi = {10.1007/BFB0013838},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Maher92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Meseguer92,
author = {Jos{\'{e}} Meseguer},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Multiparadigm Logic Programming},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {158--200},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013826},
doi = {10.1007/BFB0013826},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Meseguer92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/MiddeldorpH92,
author = {Aart Middeldorp and
Erik Hamoen},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Counterexamples to Completeness Results for Basic Narrowing (Extended
Abstract)},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {244--258},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013830},
doi = {10.1007/BFB0013830},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/MiddeldorpH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Socher-Ambrosius92,
author = {Rolf Socher{-}Ambrosius},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {A Goal Oriented Strategy Based on Completion},
booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
pages = {435--445},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013842},
doi = {10.1007/BFB0013842},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Socher-Ambrosius92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1992,
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Giorgio Levi},
title = {Algebraic and Logic Programming, Third International Conference, Volterra,
Italy, September 2-4, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {632},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0013814},
doi = {10.1007/BFB0013814},
isbn = {3-540-55873-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1992.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Batarekh90,
author = {A{\"{\i}}da Batarekh},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Fixpoint Techniques for Non-Monotone Maps},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {132--143},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_35},
doi = {10.1007/3-540-53162-9\_35},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/alp/Batarekh90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bellegarde90,
author = {Fran{\c{c}}oise Bellegarde},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {A Matching Process Modulo a Theory of Categorical Products},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {270--282},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_45},
doi = {10.1007/3-540-53162-9\_45},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Bellegarde90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BronsardR90,
author = {Fran{\c{c}}ois Bronsard and
Uday S. Reddy},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Axiomatization of a Functional Logic Language},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {101--116},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_33},
doi = {10.1007/3-540-53162-9\_33},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/BronsardR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bundgen90,
author = {Reinhard B{\"{u}}ndgen},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Applying Term Rewriting Methods to Finite Groups},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {332--346},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_49},
doi = {10.1007/3-540-53162-9\_49},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Bundgen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/DebartEL90,
author = {Fran{\c{c}}oise Debart and
Patrice Enjalbert and
Madeleine Lescot},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Multi-Modal Logic Programming using Equational and Order-Sorted Logic},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {55--69},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_30},
doi = {10.1007/3-540-53162-9\_30},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/DebartEL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/DershowitzL90,
author = {Nachum Dershowitz and
Naomi Lindenstrauss},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {An Abstract Concurrent Machine for Rewriting},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {318--331},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_48},
doi = {10.1007/3-540-53162-9\_48},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/DershowitzL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/DershowitzMS90,
author = {Nachum Dershowitz and
Subrata Mitra and
G. Sivakumar},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Equation Solving in Conditional AC-Theories},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {283--297},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_46},
doi = {10.1007/3-540-53162-9\_46},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/DershowitzMS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Dung90,
author = {Phan Minh Dung},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {On the strong completion of logic programs},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {158--172},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_37},
doi = {10.1007/3-540-53162-9\_37},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Dung90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Farres-Casals90,
author = {Jordi Farr{\'{e}}s{-}Casals},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Proving Correctness wrt Specifications with Hidden Parts},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {25--39},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_28},
doi = {10.1007/3-540-53162-9\_28},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Farres-Casals90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/GabbrielliL90,
author = {Maurizio Gabbrielli and
Giorgio Levi},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Unfolding and Fixpoint Semantics of Concurrent Constraint Logic Programs},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {204--216},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_40},
doi = {10.1007/3-540-53162-9\_40},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/GabbrielliL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Goguen90,
author = {Joseph A. Goguen},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Proving and Rewriting},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {1--24},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_27},
doi = {10.1007/3-540-53162-9\_27},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Goguen90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Han90,
author = {Jia Liang Han},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Recursive Query Processing in Predicate-Goal Graph},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {247--261},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_43},
doi = {10.1007/3-540-53162-9\_43},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Han90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hanus90,
author = {Michael Hanus},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Logic Programs with Equational Type Specifications (Extended Abstract)},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {70--85},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_31},
doi = {10.1007/3-540-53162-9\_31},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hanus90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hofbauer90,
author = {Dieter Hofbauer},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Termination Proofs by Multiset Path Orderings Imply Primitive Recursive
Derivation Lengths},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {347--358},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_50},
doi = {10.1007/3-540-53162-9\_50},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hofbauer90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/HuynhLL90,
author = {Tien Huynh and
Catherine Lassez and
Jean{-}Louis Lassez},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Fourier Algorithm Revisited},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {117--131},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_34},
doi = {10.1007/3-540-53162-9\_34},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/HuynhLL90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/KanchanasutS90,
author = {Kanchana Kanchanasut and
Peter J. Stuckey},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Eliminating Negation from Normal Logic Programs},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {217--231},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_41},
doi = {10.1007/3-540-53162-9\_41},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/KanchanasutS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Lescanne90,
author = {Pierre Lescanne},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Implementations of Completion by Transition Rules + Control: {ORME}},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {262--269},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_44},
doi = {10.1007/3-540-53162-9\_44},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Lescanne90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Li90,
author = {Ke Li},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Optimization of Rewriting and Complexity of Rewriting},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {359--371},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_51},
doi = {10.1007/3-540-53162-9\_51},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Li90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Moreno-NavarroKLR90,
author = {Juan Jos{\'{e}} Moreno{-}Navarro and
Herbert Kuchen and
Rita Loogen and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Lazy Narrowing in a Graph Machine},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {298--317},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_47},
doi = {10.1007/3-540-53162-9\_47},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Moreno-NavarroKLR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Qian90,
author = {Zhenyu Qian},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Higher-Order Order-Sorted Algebras},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {86--100},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_32},
doi = {10.1007/3-540-53162-9\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Qian90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Saint-Dizier90,
author = {Patrick Saint{-}Dizier},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {On Logic Programming Interpretations of Dislog: Programming Long-Distance
Dependencies in Logic},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {232--246},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_42},
doi = {10.1007/3-540-53162-9\_42},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Saint-Dizier90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Sato90,
author = {Taisuke Sato},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {An Equivalence Preserving First Order Unfold/fold Transformation System},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {173--188},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_38},
doi = {10.1007/3-540-53162-9\_38},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/Sato90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/SimonisD90,
author = {Helmut Simonis and
Mehmet Dincbas},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Propositional Calculus Problems in {CHIP}},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {189--203},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_39},
doi = {10.1007/3-540-53162-9\_39},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/SimonisD90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Steinbach90,
author = {Joachim Steinbach},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {AC-Termination of Rewrite Systems: {A} Modified Knuth-Bendix Ordering},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {372--386},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_52},
doi = {10.1007/3-540-53162-9\_52},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Steinbach90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Walters90,
author = {H. R. Walters},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Hybrid Implementations of Algebraic Specifications},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {40--54},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_29},
doi = {10.1007/3-540-53162-9\_29},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Walters90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/ZhouM90,
author = {Yuli Zhou and
Robert Muller},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Domain Theory for Nonmonotonic Functions},
booktitle = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
pages = {144--157},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9\_36},
doi = {10.1007/3-540-53162-9\_36},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/ZhouM90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1990,
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Wolfgang Wechler},
title = {Algebraic and Logic Programming, Second International Conference,
Nancy, France, October 1-3, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {463},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-53162-9},
doi = {10.1007/3-540-53162-9},
isbn = {3-540-53162-9},
timestamp = {Fri, 17 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BeierleP88,
author = {Christoph Beierle and
Udo Pletat},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Integrating Logic Programming and Equational Specification of Abstract
Data Types},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {71--82},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_59},
doi = {10.1007/3-540-50667-5\_59},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/alp/BeierleP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bergstra88,
author = {Jan A. Bergstra},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {{ACP} with Signals},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {11--20},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_53},
doi = {10.1007/3-540-50667-5\_53},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Bergstra88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bockmayr88,
author = {Alexander Bockmayr},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Narrowing with Built-In Theories},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {83--92},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_60},
doi = {10.1007/3-540-50667-5\_60},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/Bockmayr88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Bousdira88,
author = {Wadoud Bousdira},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {A Completion Procedure for Hierarchical Conditional Rewriting Systems},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {93--107},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_61},
doi = {10.1007/3-540-50667-5\_61},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Bousdira88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Comon88,
author = {Hubert Comon},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {An Effective Method for Handling Initial Algebras},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {108--118},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_62},
doi = {10.1007/3-540-50667-5\_62},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Comon88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Dahn88,
author = {Bernd I. Dahn},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Boolean Valued Models and Incomplete Specifications},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {119--126},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_63},
doi = {10.1007/3-540-50667-5\_63},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Dahn88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Dayantis88,
author = {George Dayantis},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Types, Modularisation and Abstraction in Logic Programming},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {127--136},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_64},
doi = {10.1007/3-540-50667-5\_64},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Dayantis88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Drosten88,
author = {Klaus Drosten},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Translating Algebraic Specifications to Prolog Programs: {A} Comparative
Study},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {137--146},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_65},
doi = {10.1007/3-540-50667-5\_65},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Drosten88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Foret88,
author = {Annie Foret},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Rewrite Rule Systems for Modal Propositional Logic},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {147--156},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_66},
doi = {10.1007/3-540-50667-5\_66},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Foret88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Fribourg88,
author = {Laurent Fribourg},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Functional Extensions to Prolog: Are they Needed?},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {21--29},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_54},
doi = {10.1007/3-540-50667-5\_54},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Fribourg88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/FulopV88,
author = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
S{\'{a}}ndor V{\'{a}}gv{\"{o}}lgyi},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {A Characterization of Irreducible Sets Modulo Left-Linear Term Rewriting
Systems by Tree Automata},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {157},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_67},
doi = {10.1007/3-540-50667-5\_67},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/FulopV88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Giovannetti88,
author = {Elio Giovannetti},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Narrowing and Resolution in Logic-Functional programming Languages
(Abstract)},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {30},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_55},
doi = {10.1007/3-540-50667-5\_55},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Giovannetti88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Goltz88,
author = {Hans{-}Joachim Goltz},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Functional Data Term Models and Semantic Unification},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {158--167},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_68},
doi = {10.1007/3-540-50667-5\_68},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Goltz88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/HansenL88,
author = {Horst Hansen and
Michael L{\"{o}}we},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Modular Algebraic Specifications},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {168--179},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_69},
doi = {10.1007/3-540-50667-5\_69},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/HansenL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/HofbauerK88,
author = {Dieter Hofbauer and
Ralf{-}Detlef Kutsche},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Proving Inductive Theorems Based on Term Rewriting Systems},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {180--190},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_70},
doi = {10.1007/3-540-50667-5\_70},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/HofbauerK88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/HoffmannP88,
author = {Berthold Hoffmann and
Detlef Plump},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Jungle Evaluation for Efficient Term Rewriting},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {191--203},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_71},
doi = {10.1007/3-540-50667-5\_71},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/HoffmannP88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Hussmann88,
author = {Heinrich Hu{\ss}mann},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {31--40},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_56},
doi = {10.1007/3-540-50667-5\_56},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Hussmann88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/JouannaudKKM88,
author = {Jean{-}Pierre Jouannaud and
Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner and
Aristide M{\'{e}}grelis},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {{OBJ:} Programming with Equalities, Subsorts, Overloading and Parameterization},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {41--52},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_57},
doi = {10.1007/3-540-50667-5\_57},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/JouannaudKKM88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Kucherov88,
author = {Gregory Kucherov},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {A New Quasi-Reducibility Testing Algorithm and its Application to
Proofs by Induction},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {204--213},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_72},
doi = {10.1007/3-540-50667-5\_72},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/Kucherov88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/LiuL88,
author = {Dongbo Liu and
Deyi Li},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Fuzzy Reasoning Based on F-Horn Clause Rules},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {214--222},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_73},
doi = {10.1007/3-540-50667-5\_73},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/LiuL88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Moreno-NavarroR88,
author = {Juan Jos{\'{e}} Moreno{-}Navarro and
Mario Rodr{\'{\i}}guez{-}Artalejo},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {{BABEL:} {A} Functional and Logic Programming Language based on Constructor
Discipline and Narrowing},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {223--232},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_74},
doi = {10.1007/3-540-50667-5\_74},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Moreno-NavarroR88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Pasztor88,
author = {Ana Pasztor},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Nonstandard Logics of Recursive Programs and Denotational Semantics},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {255--278},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_78},
doi = {10.1007/3-540-50667-5\_78},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Pasztor88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Schnoebelen88,
author = {Philippe Schnoebelen},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Refined Compilation of Pattern-Matching for Functional Languages},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {233--243},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_75},
doi = {10.1007/3-540-50667-5\_75},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Schnoebelen88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Smolka88,
author = {Gert Smolka},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Logic Programming with Polymorphically Order-Sorted Types},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {53--70},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_58},
doi = {10.1007/3-540-50667-5\_58},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Smolka88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/Wolter88,
author = {Uwe Wolter},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Narrowing in Partial Conditional Equational Theories (Abstract)},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {244},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_76},
doi = {10.1007/3-540-50667-5\_76},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/Wolter88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/You88,
author = {Jia{-}Huai You},
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Solving Equations in an Equational Language},
booktitle = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
pages = {245--254},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5\_77},
doi = {10.1007/3-540-50667-5\_77},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/You88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/alp/1988,
editor = {Jan Grabowski and
Pierre Lescanne and
Wolfgang Wechler},
title = {Algebraic and Logic Programming, International Workshop, Gaussig,
GDR, November 14-18, 1988, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {343},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-50667-5},
doi = {10.1007/3-540-50667-5},
isbn = {3-540-50667-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/alp/1988.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-05-05 08:10 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:
