Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
CURRY-HOWARD ISOMORPHISM
2
EXPRESSIVITY
2
ISOMORFISMO DE CURRY-HOWARD
2
AUDITED COMPUTATIONS
1
AUTOMATA
1
AUTOMATED REASONING
1
AXIOMATIZACION
1
AXIOMATIZATION
1
BISIMULATION
1
BRANCHING COUNTER SYSTEMS
1
BYTECODE
1
CALCULO LAMBDA
1
COINDUCTIVE MODELS
1
COMBINATORY LOGIC
1
COMPUTACIONES AUDITADAS
1
COMPUTATIONAL COMPLEXITY
1
CONJUNTO CONVEXO DE ESTADOS
1
CONVEX SET OF STATES
1
DATA-AWARE LOGICS
1
DECIDABILITY
1
DECIDIBILIDAD
1
DECISION METHODS
1
DECLASSIFICATION
1
DEMOSTRACION AUTOMATICA
1
DESCLASIFICACION
1
DIRECT RESOLUTION
1
ENTANGLEMENT
1
ENTRELAZAMIENTO
1
EXPRESIVIDAD
1
EXTRACTABILIDAD DE MODALIDADES
1
-
1
-
2
-
3
-
4
-
5
-
6