scientific article; zbMATH DE number 2212170
From MaRDI portal
Publication:5694913
zbMath1080.03005MaRDI QIDQ5694913
Publication date: 5 October 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) Complexity of computation (including implicit computational complexity) (03D15) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
