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/iclp/iclp86.bht:"
download as .bib file
@inproceedings{DBLP:conf/iclp/Abdallah86,
author = {M. A. Nait Abdallah},
editor = {Ehud Shapiro},
title = {Procedures in Horn-Clause Programming},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {433--447},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_93},
doi = {10.1007/3-540-16492-8\_93},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Abdallah86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Abramson86,
author = {Harvey Abramson},
editor = {Ehud Shapiro},
title = {Sequential and Concurrent Deterministic Logic Grammars},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {389--395},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_89},
doi = {10.1007/3-540-16492-8\_89},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Abramson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BarbutiM86,
author = {Roberto Barbuti and
Maurizio Martelli},
editor = {Ehud Shapiro},
title = {Completeness of the SLDNF-resolution for a class of logic programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {600--614},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_109},
doi = {10.1007/3-540-16492-8\_109},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BarbutiM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Beckman86,
author = {Lennart Beckman},
editor = {Ehud Shapiro},
title = {Towards a Formal Semantics for Concurrent Logic Programming Languages},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {335--349},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_86},
doi = {10.1007/3-540-16492-8\_86},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Beckman86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Boizumault86,
author = {Patrice Boizumault},
editor = {Ehud Shapiro},
title = {A General Model to Implement {DIF} and {FREEZE}},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {585--592},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_107},
doi = {10.1007/3-540-16492-8\_107},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Boizumault86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BowenBCT86,
author = {Kenneth A. Bowen and
Kevin A. Buettner and
Ilyas Cicekli and
Andrew K. Turk},
editor = {Ehud Shapiro},
title = {The Design and Implementation of a High-Speed Incremental Portable
Prolog Compiler},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {650--656},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_114},
doi = {10.1007/3-540-16492-8\_114},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BowenBCT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Buettner86,
author = {Kevin A. Buettner},
editor = {Ehud Shapiro},
title = {Fast Decompilation of Compiled Prolog Clauses},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {663--670},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_116},
doi = {10.1007/3-540-16492-8\_116},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Buettner86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ButlerLMO86,
author = {Ralph Butler and
Ewing L. Lusk and
William McCune and
Ross A. Overbeek},
editor = {Ehud Shapiro},
title = {Parallel Logic Programming for Numeric Applications},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {375--388},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_88},
doi = {10.1007/3-540-16492-8\_88},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ButlerLMO86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ChengzhengY86,
author = {Chengzheng Sun and
Tzu Yungui},
editor = {Ehud Shapiro},
title = {The OR-Forest Description for the Execution of Logic Programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {710--717},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_120},
doi = {10.1007/3-540-16492-8\_120},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/ChengzhengY86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Chikayama86,
author = {Takashi Chikayama},
editor = {Ehud Shapiro},
title = {Prolog Programming Environments: Architecture and Implementation},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {552--553},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_103},
doi = {10.1007/3-540-16492-8\_103},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Chikayama86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CodishS86,
author = {Michael Codish and
Ehud Shapiro},
editor = {Ehud Shapiro},
title = {Compiling OR-parallelism into AND-parallelism},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {283--297},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_82},
doi = {10.1007/3-540-16492-8\_82},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CodishS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FosterGRS86,
author = {Ian T. Foster and
Steve Gregory and
Graem A. Ringwood and
Ken Satoh},
editor = {Ehud Shapiro},
title = {A Sequential Implementation of Parlog},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {149--156},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_71},
doi = {10.1007/3-540-16492-8\_71},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FosterGRS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FuchiF86,
author = {Kazuhiro Fuchi and
Koichi Furukawa},
editor = {Ehud Shapiro},
title = {The Role of Logic Programming in the Fifth Generation Computer Project},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {1--24},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_61},
doi = {10.1007/3-540-16492-8\_61},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FuchiF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FujitaKTM86,
author = {Masahiro Fujita and
Shinji Kono and
Hidehiko Tanaka and
Tohru Moto{-}Oka},
editor = {Ehud Shapiro},
title = {Tokio: Logic Programming Language Based on Temporal Logic and its
Compilation to Prolog},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {695--709},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_119},
doi = {10.1007/3-540-16492-8\_119},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/FujitaKTM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GoebelFP86,
author = {Randy Goebel and
Koichi Furukawa and
David Poole},
editor = {Ehud Shapiro},
title = {Using Definite Clauses and Integrity Constraints as the Basis for
a Theory Formation Approach to Diagnostic Reasoning},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {211--222},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_77},
doi = {10.1007/3-540-16492-8\_77},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GoebelFP86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Gupta86,
author = {Rajiv Gupta},
editor = {Ehud Shapiro},
title = {Test-pattern Generation for {VLSI} Circuits in a Prolog Environment},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {528--535},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_100},
doi = {10.1007/3-540-16492-8\_100},
timestamp = {Tue, 23 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Gupta86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Haynes86,
author = {Christopher T. Haynes},
editor = {Ehud Shapiro},
title = {Logic Continuations},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {671--685},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_117},
doi = {10.1007/3-540-16492-8\_117},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Haynes86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HelmM86,
author = {Richard Helm and
Kim Marriott},
editor = {Ehud Shapiro},
title = {Declarative Graphics},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {513--527},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_99},
doi = {10.1007/3-540-16492-8\_99},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HelmM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hermenegildo86,
author = {Manuel V. Hermenegildo},
editor = {Ehud Shapiro},
title = {An Abstract Machine for Restricted AND-Parallel Execution of Logic
Programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {25--39},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_62},
doi = {10.1007/3-540-16492-8\_62},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Hermenegildo86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoN86,
author = {Manuel V. Hermenegildo and
R. I. Nasr},
editor = {Ehud Shapiro},
title = {Efficient Management of Backtracking in AND-Parallelism},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {40--54},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_63},
doi = {10.1007/3-540-16492-8\_63},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Huntbach86,
author = {Matthew M. Huntbach},
editor = {Ehud Shapiro},
title = {An Improvised Version of Shapiro's Model Inference System},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {180--187},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_74},
doi = {10.1007/3-540-16492-8\_74},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Huntbach86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JaffarLM86,
author = {Joxan Jaffar and
Jean{-}Louis Lassez and
Michael J. Maher},
editor = {Ehud Shapiro},
title = {Invited Talk: Some Issues and Trends in the Semantics of Logic Programming},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {223--241},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_78},
doi = {10.1007/3-540-16492-8\_78},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JaffarLM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JaffarS86,
author = {Joxan Jaffar and
Peter J. Stuckey},
editor = {Ehud Shapiro},
title = {Logic Program Semantics for Programming with Equations},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {313--326},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_84},
doi = {10.1007/3-540-16492-8\_84},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/JaffarS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KanamoriS86,
author = {Tadashi Kanamori and
Hirohisa Seki},
editor = {Ehud Shapiro},
title = {Verification of Prolog Programs Using an Extension of Execution},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {475--489},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_96},
doi = {10.1007/3-540-16492-8\_96},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KanamoriS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KawaiMKT86,
author = {Kazuhisa Kawai and
Riichiro Mizoguchi and
Osamu Kakusho and
Jun'ichi Toyoda},
editor = {Ehud Shapiro},
title = {A Framework for {ICAI} Systems Based on Inductive Inference and Logic
Programming},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {188--202},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_75},
doi = {10.1007/3-540-16492-8\_75},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KawaiMKT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Kursawe86,
author = {Peter Kursawe},
editor = {Ehud Shapiro},
title = {How to Invent a Prolog Machine},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {134--148},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_70},
doi = {10.1007/3-540-16492-8\_70},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Kursawe86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Levy86,
author = {Jacob Levy},
editor = {Ehud Shapiro},
title = {A {GHC} Abstract Machine and Instruction Set},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {157--171},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_72},
doi = {10.1007/3-540-16492-8\_72},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Levy86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Levy86a,
author = {Jacob Levy},
editor = {Ehud Shapiro},
title = {Shared Memory Execution of Committed-choice Languages},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {298--312},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_83},
doi = {10.1007/3-540-16492-8\_83},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Levy86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/LinKL86,
author = {Yow{-}Jian Lin and
Vipin Kumar and
Clement H. C. Leung},
editor = {Ehud Shapiro},
title = {An Intelligent Backtracking Algorithm for Parallel Execution of Logic
Programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {55--68},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_64},
doi = {10.1007/3-540-16492-8\_64},
timestamp = {Fri, 29 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/LinKL86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Maher86,
author = {Michael J. Maher},
editor = {Ehud Shapiro},
title = {Eqivalences of Logic Programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {410--424},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_91},
doi = {10.1007/3-540-16492-8\_91},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Maher86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MahlerSS86,
author = {Oded Maler and
Zahava Scherz and
Ehud Shapiro},
editor = {Ehud Shapiro},
title = {A New Approach for Intruducing Prolog to Naive Users},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {544--551},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_102},
doi = {10.1007/3-540-16492-8\_102},
timestamp = {Thu, 04 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MahlerSS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MannilaU86,
author = {Heikki Mannila and
Esko Ukkonen},
editor = {Ehud Shapiro},
title = {On the Complexity of Unification Sequences},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {122--133},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_69},
doi = {10.1007/3-540-16492-8\_69},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MannilaU86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MartelliR86,
author = {Alberto Martelli and
Gianfranco Rossi},
editor = {Ehud Shapiro},
title = {On the Semantics of Logic Programing Languages},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {327--334},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_85},
doi = {10.1007/3-540-16492-8\_85},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MartelliR86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Matsumoto86,
author = {Yuji Matsumoto},
editor = {Ehud Shapiro},
title = {A Parallel Parsing System for Natural Language Analysis},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {396--409},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_90},
doi = {10.1007/3-540-16492-8\_90},
timestamp = {Tue, 16 Jan 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Matsumoto86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/McCord86,
author = {Michael C. McCord},
editor = {Ehud Shapiro},
title = {Design of a Prolog-Based Machine Translation System},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {350--374},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_87},
doi = {10.1007/3-540-16492-8\_87},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/McCord86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Mellish86,
author = {Chris Mellish},
editor = {Ehud Shapiro},
title = {Abstract Interpretation of Prolog Programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {463--474},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_95},
doi = {10.1007/3-540-16492-8\_95},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Mellish86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MillerN86,
author = {Dale Miller and
Gopalan Nadathur},
editor = {Ehud Shapiro},
title = {Higher-Order Logic Programming},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {448--462},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_94},
doi = {10.1007/3-540-16492-8\_94},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MillerN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MoffatG86,
author = {David S. Moffat and
Peter M. D. Gray},
editor = {Ehud Shapiro},
title = {Interfacing Prolog to a Persistent Data Store},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {577--584},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_106},
doi = {10.1007/3-540-16492-8\_106},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MoffatG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MorrisUG86,
author = {Katherine A. Morris and
Jeffrey D. Ullman and
Allen Van Gelder},
editor = {Ehud Shapiro},
title = {Design Overview of the NAIL! System},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {554--568},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_104},
doi = {10.1007/3-540-16492-8\_104},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MorrisUG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Moss86,
author = {Chris Moss},
editor = {Ehud Shapiro},
title = {Cut and Paste - defining the impure Primitives of Prolog},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {686--694},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_118},
doi = {10.1007/3-540-16492-8\_118},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Moss86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Naish86,
author = {Lee Naish},
editor = {Ehud Shapiro},
title = {Negation and Quantifiers in NU-Prolog},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {624--634},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_111},
doi = {10.1007/3-540-16492-8\_111},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Naish86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Nakamura86,
author = {Katsuhiko Nakamura},
editor = {Ehud Shapiro},
title = {Control of Logic Program Execution Based on the Functional Relations},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {505--512},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_98},
doi = {10.1007/3-540-16492-8\_98},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Nakamura86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NilssonT86,
author = {Martin Nilsson and
Hidehiko Tanaka},
editor = {Ehud Shapiro},
title = {Cyclic Tree Traversal},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {593--599},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_108},
doi = {10.1007/3-540-16492-8\_108},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NilssonT86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Pereira86,
author = {Lu{\'{\i}}s Moniz Pereira},
editor = {Ehud Shapiro},
title = {Rational Debugging in Logic Programming},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {203--210},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_76},
doi = {10.1007/3-540-16492-8\_76},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Pereira86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PereiraMCA86,
author = {Lu{\'{\i}}s Moniz Pereira and
Lu{\'{\i}}s Monteiro and
Jos{\'{e}} C. Cunha and
Joaquim Nunes Apar{\'{\i}}cio},
editor = {Ehud Shapiro},
title = {Delta Prolog: {A} Distributed Backtracking Extension with Events},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {69--83},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_65},
doi = {10.1007/3-540-16492-8\_65},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PereiraMCA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PooleG86,
author = {David Poole and
Randy Goebel},
editor = {Ehud Shapiro},
title = {Gracefully adding negation and disjunction to Prolog},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {635--641},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_112},
doi = {10.1007/3-540-16492-8\_112},
timestamp = {Mon, 06 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PooleG86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RamamohanaraoS86,
author = {Kotagiri Ramamohanarao and
John Shepherd},
editor = {Ehud Shapiro},
title = {A Superimposed Codeword Indexing Scheme for Very Large Prolog Databases},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {569--576},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_105},
doi = {10.1007/3-540-16492-8\_105},
timestamp = {Tue, 08 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/RamamohanaraoS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/RawlingsTNFS86,
author = {Christopher J. Rawlings and
W. R. Taylor and
J. Nyakairu and
John Fox and
Michael J. E. Sternberg},
editor = {Ehud Shapiro},
title = {Using Prolog to Represent and Reason about Protein Structure},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {536--543},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_101},
doi = {10.1007/3-540-16492-8\_101},
timestamp = {Fri, 16 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/RawlingsTNFS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Robinson86,
author = {Ian Robinson},
editor = {Ehud Shapiro},
title = {A Prolog Processor Based on a Pattern Matching Memory Device},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {172--179},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_73},
doi = {10.1007/3-540-16492-8\_73},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Robinson86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/StepanekS86,
author = {Petr Step{\'{a}}nek and
Olga Step{\'{a}}nkov{\'{a}}},
editor = {Ehud Shapiro},
title = {Logic Programs and Alternation},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {99--106},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_67},
doi = {10.1007/3-540-16492-8\_67},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/StepanekS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TakeuchiF86,
author = {Akikazu Takeuchi and
Koichi Furukawa},
editor = {Ehud Shapiro},
title = {Parallel Logic Programming Languages},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {242--254},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_79},
doi = {10.1007/3-540-16492-8\_79},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/TakeuchiF86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TamakiS86,
author = {Hisao Tamaki and
Taisuke Sato},
editor = {Ehud Shapiro},
title = {{OLD} Resolution with Tabulation},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {84--98},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_66},
doi = {10.1007/3-540-16492-8\_66},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TamakiS86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Tick86,
author = {Evan Tick},
editor = {Ehud Shapiro},
title = {Memory Performance of Lisp and Prolog Programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {642--649},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_113},
doi = {10.1007/3-540-16492-8\_113},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Tick86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Turk86,
author = {Andrew K. Turk},
editor = {Ehud Shapiro},
title = {Compiler Optimizations for the {WAM}},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {657--662},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_115},
doi = {10.1007/3-540-16492-8\_115},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Turk86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Ueda86,
author = {Kazunori Ueda},
editor = {Ehud Shapiro},
title = {Making Exhaustive Search Programs Deterministic},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {270--282},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_81},
doi = {10.1007/3-540-16492-8\_81},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Ueda86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Vasey86,
author = {Phil Vasey},
editor = {Ehud Shapiro},
title = {Qualified Answers and their Application to Transformation},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {425--432},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_92},
doi = {10.1007/3-540-16492-8\_92},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Vasey86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Voda86,
author = {Paul J. Voda},
editor = {Ehud Shapiro},
title = {Choices in, and Limitations of, Logic Programming},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {615--623},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_110},
doi = {10.1007/3-540-16492-8\_110},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Voda86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WarrenD86,
author = {David Scott Warren and
Saumya K. Debray},
editor = {Ehud Shapiro},
title = {Detection and Optimization of Functional Computations in Prolog},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {490--504},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_97},
doi = {10.1007/3-540-16492-8\_97},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WarrenD86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Wolfram86,
author = {David A. Wolfram},
editor = {Ehud Shapiro},
title = {Intractable Unifiability Problems and Backtracking},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {107--121},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_68},
doi = {10.1007/3-540-16492-8\_68},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Wolfram86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/YangA86,
author = {Rong Yang and
Hideo Aiso},
editor = {Ehud Shapiro},
title = {P-Prolog: {A} Parallel Logic Language Based on Exclusive Relation},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {255--269},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_80},
doi = {10.1007/3-540-16492-8\_80},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/YangA86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/1986,
editor = {Ehud Shapiro},
title = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8},
doi = {10.1007/3-540-16492-8},
isbn = {3-540-16492-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/1986.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-06-30 22:23 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:
