Bruno Courcelle is a prominent French computer scientist known for his contributions to the fields of graph theory, automata theory, and computational complexity. He has made significant advancements in the areas of logic in computer science, particularly in relation to the application of graph structures. One of his notable contributions is to the development of the theory of monadic second-order logic and its applications in algorithmic graph theory.
Articles by others on the same topic
There are currently no matching articles.