Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CURRY-HOWARD ISOMORPHISM
4
EXPRESSIVITY
4
ISOMORFISMO DE CURRY-HOWARD
4
AUDITED COMPUTATIONS
2
AUTOMATA
2
AUTOMATED REASONING
2
AXIOMATIZACION
2
AXIOMATIZATION
2
BISIMULATION
2
BRANCHING COUNTER SYSTEMS
2
BYTECODE
2
CALCULO LAMBDA
2
COINDUCTIVE MODELS
2
COMBINATORY LOGIC
2
COMPUTACIONES AUDITADAS
2
COMPUTATIONAL COMPLEXITY
2
CONJUNTO CONVEXO DE ESTADOS
2
CONVEX SET OF STATES
2
DATA-AWARE LOGICS
2
DECIDABILITY
2
DECIDIBILIDAD
2
DECISION METHODS
2
DECLASSIFICATION
2
DEMOSTRACION AUTOMATICA
2
DESCLASIFICACION
2
DIRECT RESOLUTION
2
ENTANGLEMENT
2
ENTRELAZAMIENTO
2
EXPRESIVIDAD
2
EXTRACTABILIDAD DE MODALIDADES
2
-
1por Abriola, Sergio AlejandroMaterias: “...DATA-AWARE LOGICS...”
Publicado 2017
Tesis doctoral publishedVersion -
2por Abriola, Sergio AlejandroMaterias: “...DATA-AWARE LOGICS...”
Publicado 2017
Tesis doctoral publishedVersion -
3por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
4por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
5por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
6por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
7
-
8
-
9por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
10por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
11por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
12por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion