Pages that link to "Item:Q5389140"
From MaRDI portal
The following pages link to A Proof Calculus Which Reduces Syntactic Bureaucracy (Q5389140):
Displaying 9 items.
- Spinal atomic \(\lambda\)-calculus (Q2200851) (← links)
- The spirit of node replication (Q2233421) (← links)
- True Concurrency of Deep Inference Proofs (Q2820698) (← links)
- On the Proof Complexity of Cut-Free Bounded Deep Inference (Q3010365) (← links)
- A Subatomic Proof System for Decision Trees (Q5056373) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Node Replication: Theory And Practice (Q6192004) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)
