The following pages link to Implicit proofs (Q5311729):
Displaying 5 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)
- CONSISTENCY OF CIRCUIT EVALUATION, EXTENDED RESOLUTION AND TOTAL NP SEARCH PROBLEMS (Q5739904) (← links)
