Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Expressive power
3
Characterization theorems
2
Formal logic
2
Product ordering
2
Second-order logic
2
Separation theorem
2
Trees (mathematics)
2
Algorithms
1
Binary trees
1
Bins
1
Characterization
1
Computation theory
1
Computational methods
1
Computer circuits
1
Computer networks
1
Computer simulation
1
Controlled bad sequence
1
Data tree
1
Decision procedure
1
Definability
1
Equality tests
1
Existential second-order logic
1
Fast Growing Hierarchy
1
Fault tolerance
1
First order logic
1
First-order formulas
1
Flattening operator
1
Forestry
1
Free variable
1
Imperfect information
1
-
1Materias: “...Existential second-order logic...”
SER -
2Materias: “...Lexicographic ordering...”
JOUR -
3Materias: “...Second order logic...”
JOUR -
4Materias: “...First-order formulas...”
JOUR -
5Materias: “...Product ordering...”
SER -
6Materias: “...First order logic...”
JOUR