The following pages link to Implicit proofs (Q5311729):
Displaying 12 items.
- On meta complexity of propositional formulas and propositional proofs (Q937212) (← links)
- Towards a unified complexity theory of total functions (Q1745728) (← links)
- Translating between implicit and explicit versions of proof (Q2405254) (← links)
- Implicit resolution (Q2851676) (← links)
- (Q4066634) (← 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)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023 (Q6613397) (← links)
- Proof complexity and beyond. Abstracts from the workshop held March 24--29, 2024 (Q6613418) (← links)