Pages that link to "Item:Q4018167"
From MaRDI portal
The following pages link to Logic Programming with Focusing Proofs in Linear Logic (Q4018167):
Displaying 50 items.
- Proof search and certificates for evidential transactions (Q2055859) (← links)
- Game of grounds (Q2080589) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Soft subexponentials and multiplexing (Q2096472) (← links)
- Resourceful program synthesis from graded linear types (Q2119110) (← links)
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- The sequent calculus of skew monoidal categories (Q2134838) (← links)
- A focus system for the alternation-free \(\mu \)-calculus (Q2142090) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- Linear logic in computer science (Q2201109) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- From QBFs to \textsf{MALL} and back via focussing (Q2209553) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Focused proof-search in the logic of bunched implications (Q2233409) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- A proof theory for model checking (Q2331070) (← links)
- An interpretation of CCS into ludics (Q2333316) (← links)
- Formal meta-level analysis framework for quantum programming languages (Q2333324) (← links)
- Mechanizing focused linear logic in Coq (Q2333326) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Cut elimination for the unified logic (Q2367410) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- A unified procedure for provability and counter-model generation in minimal implicational logic (Q2397231) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- Formalized meta-theory of sequent calculi for linear logics (Q2424887) (← links)
- Parsing/theorem-proving for logical grammar \textit{CatLog3} (Q2425322) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- On the unity of duality (Q2482843) (← links)
- On structuring proof search for first order linear logic (Q2503319) (← links)
- Non-commutative proof construction: a constraint-based approach (Q2503402) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- Proof checking and logic programming (Q2628296) (← 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)
- Call-By-Push-Value from a Linear Logic Point of View (Q2802478) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Encoding generic judgments: preliminary results (Q2841234) (← links)
- Hybridizing a logical framework (Q2867954) (← links)
- Rewritings for polarized multiplicative and exponential proof structures (Q2870318) (← links)
- Specifying properties of concurrent computations in CLF (Q2871839) (← links)
- Focused proof search for linear logic in the calculus of structures (Q2883080) (← links)
- A Linear Logic Programming Language for Concurrent Programming over Graph Structures (Q2931260) (← links)
- A Proof Theoretic Study of Soft Concurrent Constraint Programming (Q2931271) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Foundations for Reliable and Flexible Interactive Multimedia Scores (Q2942295) (← links)
- Structural Focalization (Q2946730) (← links)
- A rewriting framework and logic for activities subject to regulations (Q2973251) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- On the Meaning of Focalization (Q3080087) (← links)
- A Proposal for Broad Spectrum Proof Certificates (Q3100201) (← links)
