Title: Theoretical Studies in Computer Science