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
Algorithms
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
ETHEREUM
2
-
1por Steren, GabrielaMaterias: “...COMBINATORY LOGIC...”
Publicado 2014
Tesis doctoral publishedVersion -
2
-
3
-
4por Bogdanich Espina, VeraMaterias: “...TEMPORAL LOGIC...”
Publicado 2019
Tesis de grado publishedVersion -
5Materias: “...Independence friendly logic...”
Artículo publishedVersion -
6
-
7
-
8por Holik, Federico HernánMaterias: “...QUANTUM LOGIC...”
Publicado 2010
Tesis doctoral publishedVersion -
9
-
10Materias: “...Formal logic...”
Artículo publishedVersion -
11por Bavera, Francisco PedroMaterias: “...JUSTIFICATION LOGIC...”
Publicado 2012
Tesis doctoral publishedVersion -
12
-
13por Abriola, Sergio AlejandroMaterias: “...DATA-AWARE LOGICS...”
Publicado 2017
Tesis doctoral publishedVersion -
14
-
15Materias: “...Dynamic logic...”
Artículo publishedVersion -
16Materias: “...Probabilistic logics...”
Artículo publishedVersion -
17por Gorín, Daniel AlejandroMaterias: “...HYBRID LOGICS...”
Publicado 2009
Tesis doctoral publishedVersion -
18