Applications of Graph Theory and Logic in Computer Science