Adventures in time and space
From MaRDI portal
Publication:5348922
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Complexity of computation (including implicit computational complexity) (03D15) Higher-type and set recursion theory (03D65)
Recommendations
Cited in
(5)
This page was built for publication: Adventures in time and space
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5348922)