Pages that link to "Item:Q2640596"

The following pages link to Uniform proofs as a foundation for logic programming (Q2640596):

Displaying 50 items.

• Formalizing adequacy: a case study for higher-order abstract syntax (Q2392483) (← links)
• A two-level logic approach to reasoning about computations (Q2392484) (← links)
• Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
• An extended constraint deductive database: theory and implementation (Q2436517) (← links)
• On structuring proof search for first order linear logic (Q2503319) (← links)
• Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
• Proof checking and logic programming (Q2628296) (← links)
• Operational semantics of resolution and productivity in Horn clause logic (Q2628299) (← links)
• A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
• Proof Relevant Corecursive Resolution (Q2798268) (← links)
• On the expressivity of minimal generic quantification (Q2804937) (← links)
• Reasoning in Abella about structural operational semantics specifications (Q2804943) (← links)
• Focused and Synthetic Nested Sequents (Q2811354) (← links)
• Encoding generic judgments: preliminary results (Q2841234) (← links)
• Rewriting calculus with(out) types (Q2851046) (← links)
• Structural Focalization (Q2946730) (← links)
• Declarative Compilation for Constraint Logic Programming (Q2949715) (← links)
• Abstractions of uniform proofs (Q2956724) (← links)
• A proof-theoretic treatment of <i>λ</i>-reduction with cut-elimination: <i>λ</i>-calculus as a logic programming language (Q3011126) (← links)
• A Proposal for Broad Spectrum Proof Certificates (Q3100201) (← links)
• Term-Generic Logic (Q3184738) (← links)
• 2004 Summer Meeting of the Association for Symbolic Logic (Q3370624) (← links)
• A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (Q3540178) (← links)
• The Abella Interactive Theorem Prover (System Description) (Q3541698) (← links)
• Theorem proving for conditional logics: CondLean and GOALD<i>U</i>CK (Q3643366) (← links)
• The Logic of Bunched Implications (Q4262604) (← links)
• (Q4499269) (← links)
• (Q4537511) (← links)
• A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
• αCheck: A mechanized metatheory model checker (Q4593089) (← links)
• On the intuitionistic force of classical search (Extended abstract) (Q4645244) (← links)
• Proof-terms for classical and intuitionistic resolution (Q4647497) (← links)
• Proof search with set variable instantiation in the Calculus of Constructions (Q4647555) (← links)
• An Improved Proof-Theoretic Compilation of Logic Programs (Q4911140) (← links)
• Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
• Correct Answers for First Order Logic (Q4923518) (← links)
• COCHIS: Stable and coherent implicits (Q4972074) (← links)
• Formalizing Operational Semantic Specifications in Logic (Q4982629) (← links)
• Higher-order unification with dependent function types (Q5055716) (← links)
• An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
• (Q5089276) (← links)
• On the extension of logic programming with negation through uniform proofs (Q5101453) (← links)
• The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them (Q5140030) (← links)
• Tactic theorem proving with refinement-tree proofs and metavariables (Q5210800) (← links)
• Implementing type theory in higher order constraint logic programming (Q5236551) (← links)
• Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
• Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (Q5458443) (← links)
• Towards Ludics Programming: Interactive Proof Search (Q5504660) (← links)
• Proof Checking and Logic Programming (Q5743582) (← links)