scientific article; zbMATH DE number 3343519

zbMATH Open0216.24101MaRDI QIDQ5619635FDOQ5619635

Authors: David C. Luckham 

Publication date: 1970

Title of this publication is not available (Why is that?)

Mathematics Subject Classification ID

Cited In (12)

• Theorem proving with abstraction
• Unrestricted resolution versus N-resolution
• On linear resolution
• A logic for default reasoning
• A simplified problem reduction format
• Resolution graphs
• Theorem proving with variable-constrained resolution
• A complete semantic back chaining proof system
• A semantic backward chaining proof system
• Linear resolution with selection function
• Extracting information from resolution proof trees
• A Survey of the Proof-Theoretic Foundations of Logic Programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5619635)