Pages that link to "Item:Q1259437"
From MaRDI portal
The following pages link to A mechanical proof of the termination of Takeuchi's function (Q1259437):
Displaying 6 items.
- The termination of the higher-dimensional tarai functions (Q477602) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Mechanizing structural induction. I: Formal system (Q1134540) (← links)
- Mechanizing structural induction. II: Strategies (Q1134541) (← links)
- Relativistic Feynman-type integrals (Q1141975) (← links)
- On proving the termination of algorithms by machine (Q1341666) (← links)
