The following pages link to Cycling in proofs and feasibility (Q4942870):
Displaying 7 items.
- On the form of witness terms (Q982183) (← links)
- Turning cycles into spirals (Q1295442) (← links)
- Bounded arithmetic, proof complexity and two papers of Parikh (Q1295443) (← links)
- Streams and strings in formal proofs. (Q1853510) (← links)
- Radical anti-realism, Wittgenstein and the length of proofs (Q2268776) (← links)
- The cost of a cycle is a square (Q4532599) (← links)
- Asymptotic cyclic expansion and bridge groups of formal proofs (Q5945614) (← links)
