Pages that link to "Item:Q1694476"
From MaRDI portal
The following pages link to A mechanizable first-order theory of ordinals (Q1694476):
Displaying 7 items.
- Ordinal arithmetic: Algorithms and mechanization (Q851144) (← links)
- Formalizing calendars with the category of ordinals (Q1863915) (← links)
- Type-theoretic approaches to ordinals (Q2700785) (← links)
- Two First-Order Theories of Ordinals (Q5049054) (← links)
- (Q5111307) (← links)
- Formal Methods in Computer-Aided Design (Q5492968) (← links)
- The theory of ordinal length (Q5962893) (← links)