Comment by Ar-Curunir

Theoretical Computer Science - at least that must be standard terminology among computer scientists?!?