Pages that link to "Item:Q851144"

The following pages link to Ordinal arithmetic: Algorithms and mechanization (Q851144):

Displaying 4 items.

• Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
• Inference rules for proving the equivalence of recursive procedures (Q938300) (← links)
• Type-theoretic approaches to ordinals (Q2700785) (← links)
• The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)