"theoretical computer" - related articles and key terms