Abstractions of uniform proofs

DOI10.1007/3-540-61735-3_15MaRDI QIDQ2956724zbMATH OpenOpenAlexFDO

Authors Paolo Volpe

Publication date 19 January 2017

Published in Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61735-3_15

Mathematics Subject Classification ID

Logic programming (68N17) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Structure of proofs (03F07)

Recommendations

• Abstractions from proofs
• Proof theory in the abstract
• scientific article; zbMATH DE number 3900184
• scientific article; zbMATH DE number 4189690
• A proof theory for general unification
• Uniform proofs as a foundation for logic programming
• scientific article; zbMATH DE number 4164177
• Proof Abstraction for Imperative Languages
• Unified correspondence as a proof-theoretic tool
• Universal abstract consistency class and universal refutation

Cited in

(10)

• A New and Formalized Proof of Abstract Completion
• Proof spaces for unbounded parallelism
• Logic Programming
• Correct answers for first order logic
• Universal abstract consistency class and universal refutation
• scientific article; zbMATH DE number 1617316 (Why is no real title available?)
• Uniform proofs as a foundation for logic programming
• Abstract interpretation of resolution-based semantics
• Computer Science Logic
• A practical framework for theabstract interpretation of logic programs

This page was built for publication: Abstractions of uniform proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2956724)