Skip to content
Vinony
Category

Finite model theory

page 1
Parity game
mathematical game played on a directed graph
finite model theory
branch of logic
Trakhtenbrot's theorem
descriptive complexity theory
branch of mathematical logic