scientific article; zbMATH DE number 1070626

MaRDI QIDQ4357066zbMATH OpenFDO

Authors

Publication date 7 October 1997

zbMATH Keywords

cut-free sequent proofslogic programming language

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(9)

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

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)