Pages that link to "Item:Q1110524"
From MaRDI portal
The following pages link to Note on a proof of the extended Kirby-Paris theorem on labelled finite trees (Q1110524):
Displaying 6 items.
- A rationale for conditional equational programming (Q915429) (← links)
- A theorem on labelled trees and the limits of its provability (Q3199414) (← links)
- A Relationship Among Gentzen's Proof-Reduction, Kirby-Paris' Hydra Game and Buchholz's Hydra Game (Q4333476) (← links)
- (Q5009706) (← links)
- (Q5018496) (← links)
- Trees, ordinals and termination (Q5044740) (← links)