The following pages link to Turning cycles into spirals (Q1295442):
Displaying 6 items.
- Interpolants, cut elimination and flow graphs for the propositional calculus (Q674415) (← links)
- On the form of witness terms (Q982183) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- The cost of a cycle is a square (Q4532599) (← links)
- Cycling in proofs and feasibility (Q4942870) (← links)