Computational Logic - Essays in Honor of Alan Robinson

Keyphrases

Publications

1991

Gérard P. Huet, Jean-Jacques Lévy
Computations in Orthogonal Rewriting Systems, I. Computational Logic - Essays in Honor of Alan Robinson (1991)
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)
Jack Minker, Arcot Rajasekar, Jorge Lobo
Theory of Disjunctive Logic Programs. Computational Logic - Essays in Honor of Alan Robinson (1991)
Maurice Bruynooghe
Intelligent Backtracking Revisted. Computational Logic - Essays in Honor of Alan Robinson (1991)
Philippa Gardner, John C. Shepherdson
Unfold/Fold Transformations of Logic Programs. Computational Logic - Essays in Honor of Alan Robinson (1991)
Gérard P. Huet, Jean-Jacques Lévy
Computations in Orthogonal Rewriting Systems, II. Computational Logic - Essays in Honor of Alan Robinson (1991)
Hubert Comon
Disunification: A Survey. Computational Logic - Essays in Honor of Alan Robinson (1991)
Donald W. Loveland, David W. Reed
A Near-Horn Prolog for Compilation. Computational Logic - Essays in Honor of Alan Robinson (1991)
Larry Wos, Ross A. Overbeek, Ewing L. Lusk
Subsumption, a Sometimes Undervalued Procedure. Computational Logic - Essays in Honor of Alan Robinson (1991)
W. W. Bledsoe
Interactive Proof Presentation. Computational Logic - Essays in Honor of Alan Robinson (1991)
Computational Logic - Essays in Honor of Alan Robinson Computational Logic - Essays in Honor of Alan Robinson (1991)
Ehud Shapiro
Inductive Inference of Theories from Facts. Computational Logic - Essays in Honor of Alan Robinson (1991)
Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell
Unification and ML-Type Reconstruction. Computational Logic - Essays in Honor of Alan Robinson (1991)
Keith L. Clark
Logic-Programming Schemes and Their Implementation. Computational Logic - Essays in Honor of Alan Robinson (1991)
Melvin Fitting
Modal Logic Should Say More Than It Does. Computational Logic - Essays in Honor of Alan Robinson (1991)
Hans Jürgen Ohlbach, Jörg H. Siekmann
The Markgraf Karl Refutation Procedure. Computational Logic - Essays in Honor of Alan Robinson (1991)
Jeffrey F. Naughton, Raghu Ramakrishnan
Bottom-Up Evaluation of Logic Programs. Computational Logic - Essays in Honor of Alan Robinson (1991)
Deepak Kapur, Hantao Zhang
A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. Computational Logic - Essays in Honor of Alan Robinson (1991)
Alan Bundy
A Science of Reasoning. Computational Logic - Essays in Honor of Alan Robinson (1991)
Andrea Corradini, Ugo Montanari
An Algebraic Representation of Logic-Program Computations. Computational Logic - Essays in Honor of Alan Robinson (1991)
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)
Mitchell Wand, Patrick O'Keefe
Automatic Dimensional Inference. Computational Logic - Essays in Honor of Alan Robinson (1991)