Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Separation
Characterization
4
Definability
4
Formal logic
4
Modal logic
4
Modal logics
4
Model theory
4
Saturation
4
Simulation
4
Characterization theorems
2
Computational linguistics
2
Computer simulation
2
Ehrenfeucht-Fraïssé
2
First order logic
2
Formula size
2
Lower bound
2
Lower bounds
2
Observational equivalences
2
Referring expression
2
Saturation (materials composition)
2
Separation theorem
2
Shortest formula size
2
Succinctness
2
Buscar alternativas:
modal » model (Expander búsqueda)
"Modal logic" » "Modal logica" (Expander búsqueda)
modal » model (Expander búsqueda)
"Modal logic" » "Modal logica" (Expander búsqueda)
-
1Materias: “...Modal logic...”
-
2
-
3
-
4
-
5Materias: “...Modal logics...”
-
6Materias: “...Modal logics...”
JOUR