Theoretical Computer Science Journal