has subject area 0802 Computation Theory and Mathematics (FoR) Computation Theory & Mathematics (Science Metrix)