The following pages link to (Q4282602):
Displayed 27 items.
- Dynamic spaces in concurrent constraint programming (Q281160) (← links)
- Proving concurrent constraint programming correct, revisited (Q530860) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Subexponential concurrent constraint programming (Q897936) (← links)
- On the linear decoration of intuitionistic derivations (Q1345901) (← links)
- Phase semantics for light linear logic (Q1398478) (← links)
- Hybrid and subexponential linear logics (Q1744445) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- Non-associative, non-commutative multi-modal linear logic (Q2104536) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- On subexponentials, focusing and modalities in concurrent systems (Q2404074) (← links)
- A framework for linear authorization logics (Q2449046) (← links)
- Verification of spatial and temporal modalities in biochemical systems (Q2520667) (← links)
- A proof theoretic view of spatial and temporal dependencies in biochemical systems (Q2628774) (← links)
- Foundations for Reliable and Flexible Interactive Multimedia Scores (Q2942295) (← links)
- Strong normalization for all-style LKtq (Q4645240) (← links)
- Connecting Sequent Calculi with Lorenzen-Style Dialogue Games (Q5024728) (← links)
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
- (Q5111322) (← links)
- Specifying Proof Systems in Linear Logic with Subexponentials (Q5179015) (← links)
- Hybrid linear logic, revisited (Q5236552) (← links)
- Subexponentials in non-commutative linear logic (Q5236554) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- Least and Greatest Fixed Points in Linear Logic (Q5892168) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)