- Tytuł:
- Optimal Proof Systems, Optimal Acceptors and Recursive Presentability
- Autorzy:
- Sadowski, Z.
- Data publikacji:
- 2007
- Słowa kluczowe:
-
abstract propositional proof systems
automatizable proof systems
recursive presentability
disjoint NP-pairs - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł