Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "toc:db/conf/slp/slp85.bht:"
@inproceedings{DBLP:conf/slp/BowenW85, author = {Kenneth A. Bowen and Tobias Weinberg}, title = {A Meta-Level Extension of Prolog}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {48--53}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 14:42:59 +0100}, biburl = {https://dblp.org/rec/conf/slp/BowenW85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Carlsson85, author = {Mats Carlsson}, title = {A Microcoded Unifier for Lisp Machine Prolog}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {162--171}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/Carlsson85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/ChangD85, author = {Jung{-}Herng Chang and Alvin M. Despain}, title = {Semi-Intelligent Backtracking of Prolog Based on Static Data Dependency Analysis}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {10--21}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/ChangD85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/ChomickiM85, author = {Jan Chomicki and Naftaly H. Minsky}, title = {Towards a Programming Environment for Large Prolog Programs}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {230--241}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/ChomickiM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/CoxP85, author = {Philip T. Cox and Tomasz Pietrzykowski}, title = {Surface Deduction: {A} Uniform Mechanism for Logic Programming}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {220--227}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/CoxP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/DembinskiM85, author = {Piotr Dembinski and Jan Maluszynski}, title = {AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {29--38}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/DembinskiM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/DershowitzP85, author = {Nachum Dershowitz and David A. Plaisted}, title = {Logic Programming cum Applicative Programming}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {54--66}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/DershowitzP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Fribourg85, author = {Laurent Fribourg}, title = {{SLOG:} {A} Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {172--184}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/Fribourg85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Gallaire85, author = {Herv{\'{e}} Gallaire}, title = {Logic Programming: Further Developments}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {88--96}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/Gallaire85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/GallierR85, author = {Jean H. Gallier and Stan Raatz}, title = {Logic Programming and Graph Rewriting}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {208--219}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/GallierR85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/GanzingerH85, author = {Harald Ganzinger and Michael Hanus}, title = {Modular Logic Programming of Compilers}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {242--253}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/GanzingerH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/GlasgowJM85, author = {Janice I. Glasgow and Michael A. Jenkins and Carl McCrosky}, title = {User Defined Parallel Control Strategies in Nial}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {22--28}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/GlasgowJM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Kowalski85, author = {Robert A. Kowalski}, title = {Directions for Logic Programming}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {2--7}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/Kowalski85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/LeeG85, author = {Rosanna K. S. Lee and Randy Goebel}, title = {Concurrent Prolog in a Multiprocess Environment}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {100--109}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/LeeG85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/LeviP85, author = {Giorgio Levi and Catuscia Palamidessi}, title = {The Declarative Semantics of Logical Read-Only Variables}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {128--137}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/LeviP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/MaluszynskiK85, author = {Jan Maluszynski and Henryk Jan Komorowski}, title = {Unification-Free Execution of Logic Programs}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {78--86}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/MaluszynskiK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/MiyazakiTC85, author = {Toshihiko Miyazaki and Akikazu Takeuchi and Takashi Chikayama}, title = {A Sequential Implementation of Concurrent Prolog Based on the Shallow Binding Scheme}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {110--118}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/MiyazakiTC85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Naish85, author = {Lee Naish}, title = {All Solutions Predicates in Prolog}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {73--77}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/Naish85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Narain85, author = {Sanjai Narain}, title = {A Technique for Doing Lazy Evaluation in Logic}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {261--269}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/Narain85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/OKeefe85, author = {Richard A. O'Keefe}, title = {On the Treatment of Cuts in Prolog Source-Level Tools}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {68--72}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/OKeefe85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/OKeefe85a, author = {Richard A. O'Keefe}, title = {Towards an Algebra for Constructing Logic Programs}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {152--160}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/OKeefe85a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/PittomvilsBW85, author = {Edwin Pittomvils and Maurice Bruynooghe and Yves D. Willems}, title = {Towards a Real-Time Garbage Collector for Prolog}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {185--198}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/PittomvilsBW85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Reddy85, author = {Uday S. Reddy}, title = {Narrowing as the Operational Semantics of Functional Languages}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {138--151}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/Reddy85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/SawamuraT85, author = {Hajime Sawamura and Taku Takeshima}, title = {Recursive Unsolvability of Determinacy, Solvable Cases of Determinancy and their Applications to Prolog Optimization}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {200--207}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/SawamuraT85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/SrivastavaOS85, author = {Amitabh Srivastava and Don Oxley and Aditya Srivastava}, title = {An(other) Integration of Logic and Functional Programming}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {254--260}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/SrivastavaOS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/UedaC85, author = {Kazunori Ueda and Takashi Chikayama}, title = {Concurrent Prolog Compiler on Top of Prolog}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {119--126}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/UedaC85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/UmrigarP85, author = {Zerksis D. Umrigar and Vijay Pitchumani}, title = {An Experiment in Programming with Full First-Order Logic}, booktitle = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, pages = {40--47}, publisher = {{IEEE-CS}}, year = {1985}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/UmrigarP85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/slp/1985, title = {Proceedings of the 1985 Symposium on Logic Programming, Boston, Massachusetts, USA, July 15-18, 1985}, publisher = {{IEEE-CS}}, year = {1985}, isbn = {0-8186-0636-3}, timestamp = {Wed, 04 Dec 2013 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/1985.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.