The following pages link to Turning cycles into spirals (Q1295442):
Displayed 6 items.
- 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)
- Combinatorial flows as bicolored atomic flows (Q6103000) (← links)