Lassez, Jean-Louis (ed.); Plotkin, Gordon (ed.) Computational logic. Essays in honor of Alan Robinson. (English) Zbl 0793.03002 Cambridge, MA: MIT Press. viii, 727 p. (1991). [The articles of this volume will not be indexed individually.]Contents: Larry Wos, Ross Overbeek and Ewing Lusk, Subsumptions, a sometimes undervalued procedure (pp. 3-40); Hans Jürgen Ohlbach and Jörg H. Siekmann, The Markgraf Karl refutation procedure (pp. 41-112); Melvin Fitting, Modal logic should say more than it does (pp. 113-135); W. W. Bledsoe, Interactive proof presentation (pp. 136-165); Maurice Bruynooghe, Intelligent backtracking revisited (pp. 166-177); Alan Bundy, A science of reasoning (pp. 178-198); Ehud Shapiro, Inductive inference of theories from facts (pp. 199-254); Jean-Pierre Jouannaud and Claude Kirchner, Solving equations in abstract algebras: a rule-based survey of unification (pp. 257-321); Hubert Comon, Disunification: a survey (pp. 322-359); Deepak Kapur and Hantao Zhang, A case study of the completion procedure: proving ring commutativity problems (pp. 360-394); Gérard Huet and Jean-Jacques Lévy, Computations in orthogonal rewriting systems. I, II (pp. 395-414, 415-443); Paris C. Kanellakis, Harry G. Mairson and John C. Mitchell, Unification and ML-type reconstruction (pp. 444-478); Mitchell Wand and Patrick M. O’Keefe, Automatic dimensional inference (pp. 479-483); Keith L. Clark, Logic- programming schemes and their implementations (pp. 487-541); Donald W. Loveland and David W. Reed, A near-Horn Prolog for compilation (pp. 542-564); P. A. Gardner and J. C. Shepherdson, Unfold/fold transformations of logic programs (pp. 565-583); Andrea Corradini and Ugo Montanari, An algebraic representation of logic- program computations (pp. 584-612); Jack Minker, Arcot Rajasekar and Jorge Lobo, Theory of disjunctive logic programs (pp. 613-639); Jeffrey F. Naughton and Raghu Ramakrishnan, Bottom-up evaluation of logic programs (pp. 640-700); E. W. Elcock, Asys, the first logic-programming language: a view of the inevitability of logic programming (pp. 701-721). Cited in 2 ReviewsCited in 24 Documents MSC: 03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations 68-06 Proceedings, conferences, collections, etc. pertaining to computer science 03B35 Mechanization of proofs and logical operations 03B40 Combinatory logic and lambda calculus 68N17 Logic programming 68T15 Theorem proving (deduction, resolution, etc.) (MSC2010) 00B30 Festschriften Keywords:Computational logic; Festschrift Biographic References: Robinson, Alan PDFBibTeX XMLCite \textit{J.-L. Lassez} (ed.) and \textit{G. Plotkin} (ed.), Computational logic. Essays in honor of Alan Robinson. Cambridge, MA: MIT Press (1991; Zbl 0793.03002)