scientific article; zbMATH DE number 1070626

MaRDI QIDQ4357066zbMATH OpenFDO

Authors

Publication date 7 October 1997

zbMATH Keywords

logic programming languagecut-free sequent proofs

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Forum: A multiple-conclusion specification logic
• scientific article; zbMATH DE number 1104361
• scientific article; zbMATH DE number 1342255

Cited in

(6)

• Program Logics for Homogeneous Meta-programming
• scientific article; zbMATH DE number 65531 (Why is no real title available?)
• Representing and Reasoning with Operational Semantics
• scientific article; zbMATH DE number 978237 (Why is no real title available?)
• Abstract metaprolog engine
• Logic programming and knowledge representation

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 Q4357066)