Pages that link to "Item:Q671512"

The following pages link to Forum: A multiple-conclusion specification logic (Q671512):

Displaying 36 items.

• Hybrid. A definitional two-level approach to reasoning with higher-order abstract syntax (Q438569) (← links)
• A framework for proof systems (Q707742) (← links)
• Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
• On the algebraic structure of declarative programming languages (Q1035699) (← links)
• Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
• On linear logic planning and concurrency (Q1041042) (← links)
• Encoding transition systems in sequent calculus (Q1398474) (← links)
• On the intuitionistic force of classical search (Q1575923) (← links)
• Connection methods in linear logic and proof nets construction (Q1575926) (← links)
• Efficient resource management for linear logic proof search (Q1575929) (← links)
• Cut-elimination for a logic with definitions and induction (Q1575931) (← links)
• Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
• MELL in the calculus of structures (Q1884903) (← links)
• Logical approximation for program analysis (Q1929363) (← links)
• Formalization of metatheory of the Quipper quantum programming language in a linear logic (Q2331074) (← links)
• On structuring proof search for first order linear logic (Q2503319) (← links)
• Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
• Automatic verification of secrecy properties for linear logic specifications of cryptographic protocols (Q2643568) (← links)
• (Q2703720) (← links)
• Reasoning in Abella about Structural Operational Semantics Specifications (Q2804943) (← links)
• True Concurrency of Deep Inference Proofs (Q2820698) (← links)
• Encoding Generic Judgments (Q2841234) (← links)
• Focusing in Linear Meta-logic (Q3541726) (← links)
• Expanding the Realm of Systematic Proof Theory (Q3644747) (← links)
• (Q4499267) (← links)
• (Q4499269) (← links)
• Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
• On the Relations between Disjunctive and Linear Logic Programming (Q4923519) (← links)
• Encryption as an abstract data-type (Q4924525) (← links)
• Formalizing Operational Semantic Specifications in Logic (Q4982629) (← links)
• Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015) (← links)
• Subexponentials in non-commutative linear logic (Q5236554) (← links)
• Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
• Proofs as computations in linear logic (Q5941199) (← links)
• A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
• Interpolation in linear logic and related systems (Q6636617) (← links)