The following pages link to Coherence for sharing proof-nets (Q1398472):
Displaying 13 items.
- Light logics and optimal reduction: completeness and complexity (Q627123) (← links)
- Coherent models of proof nets (Q1325054) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- Proof nets, garbage, and computations (Q1589650) (← links)
- Cooperation of background reasoners in theory reasoning by residue sharing (Q1810855) (← links)
- Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern) (Q2726294) (← links)
- Jumping Boxes (Q3644740) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)
- Is the Optimal Implementation Inefficient? Elementarily Not (Q5111313) (← links)
- (Q5111898) (← links)
- Cooperative Repositories for Formal Proofs (Q5428272) (← links)
- Parsing MELL proof nets (Q5940925) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)