scientific article; zbMATH DE number 1070624

zbMATH Open0883.68110MaRDI QIDQ4357064FDOQ4357064

Authors: Gerhard Jäger 

Publication date: 7 October 1997

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

Recommendations

• scientific article; zbMATH DE number 1215501
• scientific article; zbMATH DE number 4195154
• A Proof-Theoretic Approach to Logic Programming. I. Clauses as Rules
• A Proof-Theoretic Approach to Logic Programming

zbMATH Keywords

SLD resolutionfirst order logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (17)

• Special issue: First order theorem proving. Selected papers from the 4th workshop, FTP 2003, June 12-14, 2003
• First-order theorem proving: foreword
• Title not available (Why is that?)
• Theorem Proving in Higher Order Logics
• Using First-Order Theorem Provers in the Jahob Data Structure Verification System
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The number of proof lines and the size of proofs in first order logic
• A new combination of input and unit deductions for Horn sentences
• First-order unification in the PVS proof assistant
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Types for Proofs and Programs
• Title not available (Why is that?)
• 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 Q4357064)