Search dblp for Publications

export results for "toc:db/conf/birthday/robinson91.bht:"

 download as .bib file

@inproceedings{DBLP:conf/birthday/Bledsoe91,
  author       = {W. W. Bledsoe},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Interactive Proof Presentation},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {136--165},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 17:34:58 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bledsoe91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bruynooghe91,
  author       = {Maurice Bruynooghe},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Intelligent Backtracking Revisted},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {166--177},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bruynooghe91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Bundy91,
  author       = {Alan Bundy},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {A Science of Reasoning},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {178--198},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Bundy91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Clark91,
  author       = {Keith L. Clark},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Logic-Programming Schemes and Their Implementation},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {487--541},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Clark91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Comon91,
  author       = {Hubert Comon},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Disunification: {A} Survey},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {322--359},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Comon91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/CorradiniM91,
  author       = {Andrea Corradini and
                  Ugo Montanari},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {An Algebraic Representation of Logic-Program Computations},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {584--612},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Sat, 04 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/CorradiniM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Elcock91,
  author       = {Edward W. Elcock},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Absys, the First Logic-Programming Language: {A} View of the Inevitability
                  of Logic Programming},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {701--721},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 10 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Elcock91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Fitting91,
  author       = {Melvin Fitting},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Modal Logic Should Say More Than It Does},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {113--135},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Fitting91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/GardnerS91,
  author       = {Philippa Gardner and
                  John C. Shepherdson},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Unfold/Fold Transformations of Logic Programs},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {565--583},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 01 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/GardnerS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HuetL91,
  author       = {G{\'{e}}rard P. Huet and
                  Jean{-}Jacques L{\'{e}}vy},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Computations in Orthogonal Rewriting Systems, {I}},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {395--414},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HuetL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/HuetL91a,
  author       = {G{\'{e}}rard P. Huet and
                  Jean{-}Jacques L{\'{e}}vy},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Computations in Orthogonal Rewriting Systems, {II}},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {415--443},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/HuetL91a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/JouannaudK91,
  author       = {Jean{-}Pierre Jouannaud and
                  Claude Kirchner},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Solving Equations in Abstract Algebras: {A} Rule-Based Survey of Unification},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {257--321},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/JouannaudK91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KanellakisMM91,
  author       = {Paris C. Kanellakis and
                  Harry G. Mairson and
                  John C. Mitchell},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Unification and ML-Type Reconstruction},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {444--478},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/KanellakisMM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/KapurZ91,
  author       = {Deepak Kapur and
                  Hantao Zhang},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {A Case Study of the Completion Procedure: Proving Ring Commutativity
                  Problems},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {360--394},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Tue, 17 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/KapurZ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/LovelandR91,
  author       = {Donald W. Loveland and
                  David W. Reed},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {A Near-Horn Prolog for Compilation},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {542--564},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/LovelandR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/MinkerRL91,
  author       = {Jack Minker and
                  Arcot Rajasekar and
                  Jorge Lobo},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Theory of Disjunctive Logic Programs},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {613--639},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Thu, 21 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/MinkerRL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/NaughtonR91,
  author       = {Jeffrey F. Naughton and
                  Raghu Ramakrishnan},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Bottom-Up Evaluation of Logic Programs},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {640--700},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/NaughtonR91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/OhlbachS91,
  author       = {Hans J{\"{u}}rgen Ohlbach and
                  J{\"{o}}rg H. Siekmann},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {The Markgraf Karl Refutation Procedure},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {41--112},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/OhlbachS91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Shapiro91,
  author       = {Ehud Shapiro},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Inductive Inference of Theories from Facts},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {199--254},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Thu, 04 Oct 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/Shapiro91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/WandO91,
  author       = {Mitchell Wand and
                  Patrick O'Keefe},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Automatic Dimensional Inference},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {479--483},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/WandO91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/WosOL91,
  author       = {Larry Wos and
                  Ross A. Overbeek and
                  Ewing L. Lusk},
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Subsumption, a Sometimes Undervalued Procedure},
  booktitle    = {Computational Logic - Essays in Honor of Alan Robinson},
  pages        = {3--40},
  publisher    = {The {MIT} Press},
  year         = {1991},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/WosOL91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/birthday/1991robinson,
  editor       = {Jean{-}Louis Lassez and
                  Gordon D. Plotkin},
  title        = {Computational Logic - Essays in Honor of Alan Robinson},
  publisher    = {The {MIT} Press},
  year         = {1991},
  isbn         = {0-262-12156-5},
  timestamp    = {Wed, 30 Mar 2016 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/1991robinson.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.