scientific article; zbMATH DE number 1420805

MaRDI QIDQ4944869zbMATH OpenFDO

Authors Iliano Cervesato

Publication date 22 March 2000

zbMATH Keywords

Warren's abstract machine

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17) Theory of compilers and interpreters (68N20)

Recommendations

• An improved proof-theoretic compilation of logic programs
• scientific article; zbMATH DE number 4195154
• A Survey of the Proof-Theoretic Foundations of Logic Programming
• scientific article; zbMATH DE number 4205965
• scientific article; zbMATH DE number 1215501
• scientific article; zbMATH DE number 3848602
• Proof-theoretic and higher-order extensions of logic programming
• scientific article; zbMATH DE number 841929
• scientific article; zbMATH DE number 1531964
• scientific article; zbMATH DE number 3872640

Cited in

(9)

• scientific article; zbMATH DE number 1543038 (Why is no real title available?)
• An improved proof-theoretic compilation of logic programs
• scientific article; zbMATH DE number 549957 (Why is no real title available?)
• Compiling logics
• Structure of a Proof-Producing Compiler for a Subset of Higher Order Logic
• A linear logical framework
• A proof procedure for the logic of hereditary Harrop formulas
• On linear logic planning and concurrency
• A Survey of the Proof-Theoretic Foundations of 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 Q4944869)