Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs

Martin Grohe. Fixed-Point Definability and Polynomial Time on Chordal Graphs and Line Graphs. In Andreas Blass, Nachum Dershowitz, Wolfgang Reisig, editors, Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday. Volume 6300 of Lecture Notes in Computer Science, pages 328-353, Springer, 2010. [doi]

Abstract

Abstract is missing.