Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
Modal logic
Separation
2
Characterization
1
Characterization theorems
1
Computational linguistics
1
Computer simulation
1
Definability
1
Ehrenfeucht-Fraïssé
1
First order logic
1
Formula size
1
Lower bound
1
Lower bounds
1
Modal logics
1
Model theory
1
Observational equivalences
1
Referring expression
1
Saturation
1
Saturation (materials composition)
1
Separation theorem
1
Shortest formula size
1
Simulation
1
Succinctness
1
-
1
-
2