Baidu
map

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


Baidu
map
Baidu
map
Baidu
map