Discrete Mathematics Theoretical Computer Science and Applications