Computational logic : essays in honor of Alan Robinson /

Bibliographic Details
Other Authors:	Robinson, J. A. (John Alan), Lassez, Jean-Louis, Plotkin, G. (Gordon), 1946-
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, [1991]
Subjects:	Automatic theorem proving. Logic programming. Robinson, J. A. > (John Alan)

Table of Contents:

Subsumption, a sometimes undervalued procedure / Larry Wos, Ross Overbeek, and Ewing Lusk
The Markgraf Karl refutation procedure / Hans Jürgen Ohlbach and Jörg H. Siekmann
Modal logic should say more than it does / Melvin Fitting
Interactive proof presentation / W.W. Bledsoe
Intelligent backtracking revisited / Maurice Bruynooghe
A science of reasoning / Alan Bundy
Inductive inference of theories from facts / Ehud Shapiro
Solving equations in abstract algebras : a rule-based survey of unification / Jean-Pierre Jouannaud and Claude Kirchner
Disunification : a survey / Hubert Comon
A case study of the completion procedure : proving ring commutativity problems / Deepak Kapur and Hantao Zhang.
Computations in orthogonal rewriting systems, I ; Computations in orthogonal rewriting systems, II / Gérard Huet and Jean-Jacques Lévy
Unification and ML-type reconstruction / Paris C. Kanellakis, Harry G. Mairson, and John C. Mitchell
Automatic dimensional inference / Mitchell Wand and Patrick M. O'Keefe
Logic-programming schemes and their implementations / Keith L. Clark
A near-horn prolog for compilation / Donald W. Loveland and David W. Reed
Unfold/fold transformations of logic programs / P.A. Gardner and J.C. Shepherdson
An algebraic representation of logic-program computations / Andrea Corradini and Ugo Montanari
Theory of disjunctive logic programs / Jack Minker, Arcot Rajasekar, and Jorge Lobo.
Bottom-up evaluation of logic programs / Jeffrey F. Naughton and Raghu Ramakrishnan
Absys, the first logic-programming language : a view of the inevitability of logic programming / E.W. Elcock.