Pages that link to "Item:Q5225855"
From MaRDI portal
The following pages link to An analysis of the Podelski–Rybalchenko termination theorem via bar recursion (Q5225855):
Displaying 4 items.
- Reverse mathematical bounds for the termination theorem (Q324248) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- A Combinatorial Bound for a Restricted Form of the Termination Theorem (Q3295155) (← links)
- A DIRECT PROOF OF SCHWICHTENBERG’S BAR RECURSION CLOSURE THEOREM (Q4638975) (← links)
