The following pages link to Superdeduction at Work (Q3608815):
Displaying 7 items.
- The collapse of supertasks (Q301094) (← links)
- Inductive proof search modulo (Q1037404) (← links)
- First-order automated reasoning with theories: when deduction modulo theory meets practice (Q2209546) (← links)
- Physics and proof theory (Q2249005) (← links)
- On the convergence of reduction-based and model-based methods in proof theory (Q2866742) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)