scientific article; zbMATH DE number 1335888
From MaRDI portal
Publication:4258579
zbMath0935.68097MaRDI QIDQ4258579
Jochen Messner, Johannes Köbler
Publication date: 4 May 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
A Parameterized Halting Problem ⋮ Optimal proof systems imply complete sets for promise classes ⋮ Total nondeterministic Turing machines and a p-optimal proof system for SAT ⋮ Hard Instances of Algorithms and Proof Systems ⋮ On an optimal propositional proof system and the structure of easy subsets of TAUT.
This page was built for publication:
