Relative completeness for logics of functional programs
From MaRDI portal
Recommendations
Cited in
(17)- Functional completeness in iterative meta-algebras
- The completeness of functional logic
- Continuity, proof systems and the theory of transfinite computations
- scientific article; zbMATH DE number 1670491 (Why is no real title available?)
- Relative Hilbert-Post completeness for exceptions
- scientific article; zbMATH DE number 4174908 (Why is no real title available?)
- scientific article; zbMATH DE number 4160688 (Why is no real title available?)
- Meager and replete failures of relative completeness
- Descriptive and Relative Completeness of Logics for Higher-Order Functions
- scientific article; zbMATH DE number 4022609 (Why is no real title available?)
- An observationally complete program logic for imperative higher-order functions
- HOLCF = HOL + LCF
- Tarskian Structured Consequence Relations and Functional Completeness
- scientific article; zbMATH DE number 1136653 (Why is no real title available?)
- scientific article; zbMATH DE number 2196584 (Why is no real title available?)
- Normal forms and syntactic completeness proofs for functional independencies
- Comparing integrated and external logics of functional programs
This page was built for publication: Relative completeness for logics of functional programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2915704)
