Publication:3882451
From MaRDI portal
zbMath0441.03021MaRDI QIDQ3882451
Publication date: 1977
complexity classes P and NP; admissible measure; closure of NP under complementation; complexity of derivations in complete formal systems; quantifier-free Horn formulae
03D15: Complexity of computation (including implicit computational complexity)
03F20: Complexity of proofs
Related Items