Descriptive Complexity for Counting Complexity Classes

Arenas, M; Munoz, M; Riveros, C

Arenas, M (reprint author), Pontificia Univ Catolica Chile, Santiago, Chile.

2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017; ( ):

Abstract

Descriptive Complexity has been very successful in characterizing complexity classes of decision problems in terms of the properties definable in some......

Full Text Link