Sökning: "Erich Grädel"
Hittade 1 avhandling innehållade orden Erich Grädel.
Sammanfattning : Games on graphs have become an indispensable tool in modern computer science. They provide powerful and expressive models for numerous phenomena and are extensively used in computer- aided verification, automata theory, logic, complexity theory, computational biology, etc. LÄS MER