Descriptive Complexity for Counting Complexity Classes

Marcelo Arenas, Martin Muñoz, Cristian Riveros. Descriptive Complexity for Counting Complexity Classes. Logical Methods in Computer Science, 16(1), 2020. [doi]

Abstract

Abstract is missing.