The following pages link to (Q4692942):
Displaying 16 items.
- Solutions of equations in languages (Q607397) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Communication-efficient proactive secret sharing for dynamic groups with dishonest majorities (Q2229260) (← links)
- Monoid based semantics for linear formulas (corrected republication) (Q3149979) (← links)
- A filter lambda model and the completeness of type assignment (Q3335753) (← links)
- Completeness of MLL proof-nets w.r.t. weak distributivity (Q3426569) (← links)
- COMPUTATIONAL FEATURES OF AGENT-BASED MODELS (Q3573653) (← links)
- The Logic of Bunched Implications (Q4262604) (← links)
- A modal view of linear logic (Q4314678) (← links)
- Monoid based semantics for linear formulas (Q4328823) (← links)
- Proofs of strong normalisation for second order classical natural deduction (Q4382485) (← links)
- Basic logic: reflection, symmetry, visibility (Q4527908) (← links)
- The cost of a cycle is a square (Q4532599) (← links)
- On Computable Numbers, Nonuniversality, and the Genuine Power of Parallelism (Q4686646) (← links)
- Every polynomial-time 1-degree collapses if and only if P = PSPACE (Q5311749) (← links)
- Which structural rules admit cut elimination? An algebraic criterion (Q5422301) (← links)
