scientific article; zbMATH DE number 785048

MaRDI QIDQ4842537zbMATH OpenFDO

Authors Gerhard Jäger

Publication date 14 August 1995

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

Many-valued logic (03B50) Cut-elimination and normal-form theorems (03F05) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 4195154
• scientific article; zbMATH DE number 1215501
• scientific article; zbMATH DE number 1070624
• Partial deduction for structured logic programming
• scientific article; zbMATH DE number 1531964

Cited in

(12)

• Declarative Logic Programming: Theory, Systems, and Applications
• An approach to declarative programming based on a rewriting logic
• A new methodology for developing deduction methods
• scientific article; zbMATH DE number 1341465 (Why is no real title available?)
• scientific article; zbMATH DE number 1974021 (Why is no real title available?)
• A Deductive System for PC(ID)
• Deducing Logic Programs
• The Essential Inadequacy of Deduction in Logic Programming
• Correct reasoning about logic programs
• Declarative programming: a logical view
• Mints type deductive calculi for logic programming
• Partial deduction for structured 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 Q4842537)