Search dblp for Publications

export results for "toc:db/conf/slp/slp85.bht:"

 download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.