Pages that link to "Item:Q5705916"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705916):
Displaying 7 items.
- Methods of cut-elimination (Q609451) (← links)
- CERES in higher-order logic (Q716500) (← links)
- CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367) (← links)
- Cut-elimination: syntax and semantics (Q2259012) (← links)
- Book review of: Matthias Baaz and Alexander Leitsch, Methods of cut-elimination (Q2350976) (← links)
- Ceres in intuitionistic logic (Q2363201) (← links)
- Towards CERes in intuitionistic logic (Q4649567) (← links)