Pages that link to "Item:Q4732468"

The following pages link to Extensions of arithmetic for proving termination of computations (Q4732468):

Displaying 2 items.

• Termination of rewriting (Q1098624) (← links)
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results (Q2566073) (← links)