The following pages link to Implicit proofs (Q5311729):
Displayed 7 items.
- On meta complexity of propositional formulas and propositional proofs (Q937212) (← links)
- Towards a unified complexity theory of total functions (Q1745728) (← links)
- Towards a Unified Complexity Theory of Total Functions (Q4993302) (← links)
- INFORMATION IN PROPOSITIONAL PROOFS AND ALGORITHMIC PROOF SEARCH (Q5082067) (← links)
- The NP Search Problems of Frege and Extended Frege Proofs (Q5278209) (← links)
- TFNP: An Update (Q5283350) (← links)
- CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS (Q5739904) (← links)