Pages that link to "Item:Q1327384"

The following pages link to Logic programming in a fragment of intuitionistic linear logic (Q1327384):

Displayed 25 items.

• Forum: A multiple-conclusion specification logic (Q671512) ‎ (← links)
• A logical characterization of forward and backward chaining in the inverse method (Q928660) ‎ (← links)
• Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) ‎ (← links)
• Resolution calculus for the first order linear logic (Q1314284) ‎ (← links)
• Proof strategies in linear logic (Q1340963) ‎ (← links)
• Semantic data modelling using linear logic (Q1349996) ‎ (← links)
• A new framework for declarative programming (Q1399960) ‎ (← links)
• A linear logical framework (Q1400718) ‎ (← links)
• Efficient resource management for linear logic proof search (Q1575929) ‎ (← links)
• Proof-search in type-theoretic languages: An introduction (Q1575935) ‎ (← links)
• Focussing and proof construction (Q1840461) ‎ (← links)
• Linear concurrent constraint programming: Operational and phase semantics (Q1854410) ‎ (← links)
• MELL in the calculus of structures (Q1884903) ‎ (← links)
• Multimodal linguistic inference (Q1923840) ‎ (← links)
• From multiple sequent for additive linear logic to decision procedures for free lattices (Q1960422) ‎ (← links)
• A type system for lock-free processes (Q2497143) ‎ (← links)
• Non-commutative proof construction: a constraint-based approach (Q2503402) ‎ (← links)
• Functional-Logic Graph Parser Combinators (Q3522023) ‎ (← links)
• Focusing in Linear Meta-logic (Q3541726) ‎ (← links)
• The Logic of Bunched Implications (Q4262604) ‎ (← links)
• (Q4499267) ‎ (← links)
• (Q4499269) ‎ (← links)
• Closures and Modules Within Linear Logic Concurrent Constraint Programming (Q5458864) ‎ (← links)
• Least and Greatest Fixed Points in Linear Logic (Q5892168) ‎ (← links)
• Proofs as computations in linear logic (Q5941199) ‎ (← links)