default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID60. Birthday: John Alan Robinson , 1991
- Jean-Louis Lassez, Gordon D. Plotkin:
Computational Logic - Essays in Honor of Alan Robinson. The MIT Press 1991, ISBN 0-262-12156-5
Inference
- Larry Wos, Ross A. Overbeek, Ewing L. Lusk:
Subsumption, a Sometimes Undervalued Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 3-40 - Hans Jürgen Ohlbach, Jörg H. Siekmann:
The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson 1991: 41-112 - Melvin Fitting:
Modal Logic Should Say More Than It Does. Computational Logic - Essays in Honor of Alan Robinson 1991: 113-135 - W. W. Bledsoe:
Interactive Proof Presentation. Computational Logic - Essays in Honor of Alan Robinson 1991: 136-165 - Maurice Bruynooghe:
Intelligent Backtracking Revisted. Computational Logic - Essays in Honor of Alan Robinson 1991: 166-177 - Alan Bundy:
A Science of Reasoning. Computational Logic - Essays in Honor of Alan Robinson 1991: 178-198 - Ehud Shapiro:
Inductive Inference of Theories from Facts. Computational Logic - Essays in Honor of Alan Robinson 1991: 199-254
Equality
- Jean-Pierre Jouannaud, Claude Kirchner:
Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. Computational Logic - Essays in Honor of Alan Robinson 1991: 257-321 - Hubert Comon:
Disunification: A Survey. Computational Logic - Essays in Honor of Alan Robinson 1991: 322-359 - Deepak Kapur, Hantao Zhang:
A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. Computational Logic - Essays in Honor of Alan Robinson 1991: 360-394 - Gérard P. Huet, Jean-Jacques Lévy:
Computations in Orthogonal Rewriting Systems, I. Computational Logic - Essays in Honor of Alan Robinson 1991: 395-414 - Gérard P. Huet, Jean-Jacques Lévy:
Computations in Orthogonal Rewriting Systems, II. Computational Logic - Essays in Honor of Alan Robinson 1991: 415-443 - Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell:
Unification and ML-Type Reconstruction. Computational Logic - Essays in Honor of Alan Robinson 1991: 444-478 - Mitchell Wand, Patrick O'Keefe:
Automatic Dimensional Inference. Computational Logic - Essays in Honor of Alan Robinson 1991: 479-483
Logic Programming
- Keith L. Clark:
Logic-Programming Schemes and Their Implementation. Computational Logic - Essays in Honor of Alan Robinson 1991: 487-541 - Donald W. Loveland, David W. Reed:
A Near-Horn Prolog for Compilation. Computational Logic - Essays in Honor of Alan Robinson 1991: 542-564 - Philippa Gardner, John C. Shepherdson:
Unfold/Fold Transformations of Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 565-583 - Andrea Corradini, Ugo Montanari:
An Algebraic Representation of Logic-Program Computations. Computational Logic - Essays in Honor of Alan Robinson 1991: 584-612 - Jack Minker, Arcot Rajasekar, Jorge Lobo:
Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 613-639 - Jeffrey F. Naughton, Raghu Ramakrishnan:
Bottom-Up Evaluation of Logic Programs. Computational Logic - Essays in Honor of Alan Robinson 1991: 640-700 - Edward W. Elcock:
Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming. Computational Logic - Essays in Honor of Alan Robinson 1991: 701-721
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.
last updated on 2025-10-30 00:38 CET 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:
