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.
@ operators
2
AUTOMATED REASONING
2
COINDUCTIVE MODELS
2
DECISION METHODS
2
DEMOSTRACION AUTOMATICA
2
DIRECT RESOLUTION
2
EXTRACTABILIDAD DE MODALIDADES
2
EXTRACTABILITY OF MODALITIES
2
FIRST-ORDER TRANSLATIONS
2
FORMAS NORMALES
2
HYBRID LOGICS
2
Higher-order modal logic
2
Hybrid logic
2
Hybrid logics
2
LOGICAS HIBRIDAS
2
METODOS DE DECISION
2
MODELOS COINDUCTIVOS
2
Modal logics
2
NORMAL FORMS
2
Nominals
2
RESOLUCION DIRECTA
2
TRADUCCIONES A PRIMER ORDEN
2
Type theory
2
Bisimulation
1
Completeness
1
Computability and decidability
1
Expressive power
1
Fuzzy logic
1
Heidelberg (CO)
1
Information theory
1
-
1Materias: “...Hybrid logics...”
-
2
-
3
-
4por Areces, Carlos Eduardo, Figueira, Diego Federico, Figueira, Santiago Daniel, Mera, Sergio FernandoMaterias: “...Hybrid logics...”
Publicado 2008
-
5por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
6por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion