Pages that link to "Item:Q5705944"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705944):
Displayed 12 items.
- Extraction of expansion trees (Q670704) (← links)
- CERES in higher-order logic (Q716500) (← links)
- CERES: An analysis of Fürstenberg's proof of the infinity of primes (Q944367) (← links)
- On the form of witness terms (Q982183) (← links)
- The computational content of arithmetical proofs (Q1762353) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← links)
- Physics and proof theory (Q2249005) (← links)
- Ceres in intuitionistic logic (Q2363201) (← links)
- Cut-Elimination and Proof Schemata (Q3455184) (← links)
- Expansion trees with cut (Q5236547) (← links)
- Herbrand Sequent Extraction (Q5505525) (← links)
- System Description: The Proof Transformation System CERES (Q5747781) (← links)