The Power of Counting Logics on Restricted Classes of Finite Structures

Anuj Dawar, David Richerby. The Power of Counting Logics on Restricted Classes of Finite Structures. In Jacques Duparc, Thomas A. Henzinger, editors, Computer Science Logic, 21st International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings. Volume 4646 of Lecture Notes in Computer Science, pages 84-98, Springer, 2007. [doi]

Abstract

Abstract is missing.