scientific article; zbMATH DE number 785048

zbMATH Open0832.68021MaRDI QIDQ4842537FDOQ4842537

Authors: Gerhard Jäger 

Publication date: 14 August 1995

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

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

zbMATH Keywords

logic programming

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)