The following pages link to Incorporating Tables into Proofs (Q3608431):
Displaying 11 items.
- Algorithmic introduction of quantified cuts (Q402115) (← links)
- A focused approach to combining logics (Q639671) (← links)
- A framework for proof systems (Q707742) (← links)
- Focusing and polarization in linear, intuitionistic, and classical logics (Q1035706) (← links)
- Physics and proof theory (Q2249005) (← links)
- A proof theory for model checking (Q2331070) (← links)
- On the generation of quantified lemmas (Q2417949) (← links)
- Extracting Proofs from Tabled Proof Search (Q2938048) (← links)
- A Proposal for Broad Spectrum Proof Certificates (Q3100201) (← links)
- Focusing in Linear Meta-logic (Q3541726) (← links)
- Reductive logic, proof-search, and coalgebra: a perspective from resource semantics (Q6612799) (← links)
