descriptive complexity theory
Sign in to savebranch of mathematical logic
Connections
P
Entity
polynomial hierarchy
Entity
transitive closure
Entity
second-order logic
Entity
Moshe Vardi
Entity
logic
Entity
International Standard Book Number
Entity
function
Entity
digital object identifier
Entity
International Standard Serial Number
Entity
OCLC, Inc.
Entity
subset
Entity
formal language
Entity
𝑛-tuple
Entity
computational complexity theory
Entity
first-order logic
Entity
Q22908627
Entity
tetration
Entity
formal system
Entity
universal quantification
Entity