scientific article; zbMATH DE number 1420805

zbMATH Open0949.68021MaRDI QIDQ4944869FDOQ4944869

Authors: Iliano Cervesato 

Publication date: 22 March 2000

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

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

zbMATH Keywords

Warren's abstract machine

Mathematics Subject Classification ID

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

Cited In (9)

• Title not available (Why is that?)
• An improved proof-theoretic compilation of logic programs
• Title not available (Why is that?)
• 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)