scientific article; zbMATH DE number 1070626

zbMATH Open0883.68030MaRDI QIDQ4357066FDOQ4357066

Authors:

Publication date: 7 October 1997

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

Recommendations

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

zbMATH Keywords

logic programming languagecut-free sequent proofs

Mathematics Subject Classification ID

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

Cited In (6)

• Program Logics for Homogeneous Meta-programming
• Title not available (Why is that?)
• Representing and Reasoning with Operational Semantics
• Title not available (Why is that?)
• 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)