Invited Paper: John W. Dawson Shaken Foundations or Groundbreaking Realignment? A Centennial Assessment of Kurt Gödel's Impact on Logic, Mathematics, and
Computer Science (LICS 2006)
More Information...
Paper: Jan Dreier Lacon- and Shrub-Decompositions: A New Characterization of First-Order Transductions of Bounded Expansion Classes (LICS 2021)
More Information...