Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/lpe/lpe93.bht:"
download as .bib file
@inproceedings{DBLP:conf/lpe/AlvesRN93,
author = {Victor Alves and
Ab{\'{\i}}lio Ribeiro and
Jos{\'{e}} Neves},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Distributed Problem Solving: {A} Universal Computer Architecture},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {88--93},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Thu, 11 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpe/AlvesRN93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/AroraRRSS93,
author = {Tarun Arora and
Raghu Ramakrishnan and
William G. Roth and
Praveen Seshadri and
Divesh Srivastava},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Explaining Program Execution in Deductive Systems},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {1--7},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/AroraRRSS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/AzemB93,
author = {Alireza Azem and
Fevzi Belli},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Reliability Prediction and Reliability Assessment Environment or Prolog
Programs},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {100--105},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/AzemB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/BelliJ93,
author = {Fevzi Belli and
Oliver Jack},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {A Product Assurance Environment for Prolog},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {94--99},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/BelliJ93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/BoulangerBS93,
author = {Dmitri Boulanger and
Maurice Bruynooghe and
Danny De Schreye},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Compiling Control Revisited: {A} New approach Based Upon Abstract
Interpretation for Constraint Logic Programs},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {39--51},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/BoulangerBS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/BowlesV93,
author = {Andrew Bowles and
Wamberto Weber Vasconcelos},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Characterizing Prolog Programming Techniques},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {27--32},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/BowlesV93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/FergusonSY93,
author = {Don Ferguson and
Georges Saab and
L. {\"{U}}mit Yal{\c{c}}inalp},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Quintus WorkPro Programming Enviroment: {A} Glue for Building Business
Applications},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {75--80},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/FergusonSY93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Fromherz93,
author = {Markus P. J. Fromherz},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Debugging Constraint Programs: The Abstraction Mismatch},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {14--20},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/Fromherz93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/KusalikO93,
author = {Anthony J. Kusalik and
Gregory M. Oster},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {A Constraint-Based Declarative Display Description Language for Visualization},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {59--67},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/KusalikO93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/KusalikP93,
author = {Anthony J. Kusalik and
Steven D. Prestwich},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Programmer-Oriented Visualization of Parallel Logic Program Execution},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {69--74},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 07 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/KusalikP93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/LefebvreC93,
author = {P. Lef{\`{e}}bvre and
{\'{E}}ric Villemonte de la Clergerie},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {How to build quickly an efficient implementation of the domain Prop
with DyALog},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {33--38},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Tue, 30 Aug 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpe/LefebvreC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/OrosG93,
author = {Miguel{-}Angel Oros and
Paul Y. Gloess},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Inheritance in Datalog},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {52--58},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/OrosG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/ReintjesR93,
author = {Peter B. Reintjes and
Suresh Rajgopal},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {{MULTI/PLEX:} Prolog tools for Formal Languages},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {81--87},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/ReintjesR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/Specht93,
author = {G{\"{u}}nther Specht},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Generating Explanation Trees even for Negations in Deductive DataBase
Systems},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {8--13},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/Specht93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/SterlingC93,
author = {Leon Sterling and
Sitt Chen Chok},
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {A Tool to Support Stepwise Enhancement in Prolog},
booktitle = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
pages = {21--26},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/SterlingC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1993,
editor = {Mireille Ducass{\'{e}} and
Baudouin Le Charlier and
Yow{-}Jian Lin and
L. {\"{U}}mit Yal{\c{c}}inalp},
title = {Proceedings of the 5th Workshop on Logic Programming Environments
{(LPE} 1993), October 29-30, 1993, In conjunction with {ILPS} 1993,
Vancouver, British Columbia, Canada},
publisher = {IRISA, Campus de Beaulieu, France},
year = {1993},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1993.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-04-23 15:27 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:
