Resultados de búsqueda - Bonelli, Eduardo
- Mostrando 1 - 20 Resultados de 32
- Ir a la Siguiente Página
-
1
-
2
Information flow analysis for a typed assembly language with polymorphic stacks por Bonelli, Eduardo
Capítulo de libro Cargando… -
3
A normalisation result for higher-order calculi with explicit substitutions por Bonelli, Eduardo
Capítulo de libro Cargando… -
4
-
5
Typechecking safe process synchronization por Bonelli, Eduardo
Capítulo de libro Cargando… -
6
Justification logic as a foundation for certifying mobile computation por Bonelli, Eduardo
Capítulo de libro Cargando… -
7
Multipoint session types for a distributed calculus por Bonelli, Eduardo
Capítulo de libro Cargando… -
8
The logic of proofs as a foundation for certifying mobile computation por Bonelli, Eduardo
Capítulo de libro Cargando… -
9
de Bruijn indices for metaterms por Bonelli, Eduardo
Capítulo de libro Cargando… -
10
Relating higher-order and first-order rewriting por Bonelli, Eduardo
Capítulo de libro Cargando… -
11
Boxed ambients with communication interfaces por Bonelli, Eduardo
Capítulo de libro Cargando… -
12
-
13
Information flow analysis for a typed assembly language with polymorphic stacks por Bonelli, Eduardo
Capítulo de libro Cargando… -
14
A normalisation result for higher-order calculi with explicit substitutions por Bonelli, Eduardo
Capítulo de libro Cargando… -
15
-
16
Typechecking safe process synchronization por Bonelli, Eduardo
Capítulo de libro Cargando… -
17
Justification logic as a foundation for certifying mobile computation por Bonelli, Eduardo
Capítulo de libro Cargando… -
18
Multipoint session types for a distributed calculus por Bonelli, Eduardo
Capítulo de libro Cargando… -
19
The logic of proofs as a foundation for certifying mobile computation por Bonelli, Eduardo
Capítulo de libro Cargando… -
20
de Bruijn indices for metaterms por Bonelli, Eduardo
Capítulo de libro Cargando…
Herramientas de búsqueda:
Materias Relacionadas
LENGUAJE ENSAMBLADOR
SISTEMAS DE REESCRITURA
COMPUTACIÓN MÓVIL
COMUNICACIÓN ENTRE PROCESOS
CONTROL DE FLUJO DE INFORMACIÓN
CÁLCULO LAMBDA
CÁLCULO PI
LENGUAJES DE PROGRAMACIÓN
LÓGICA COMPUTACIONAL
PROGRAMACIÓN CONCURRENTE
SEGURIDAD Y PROTECCIÓN
SISTEMAS OPERATIVOS
ALGORITMOS
CODIFICACIÓN
CÁLCULO DISTRIBUIDO
ESTRUCTURAS DE DATOS
LENGUAJES FORMALES
LÓGICA MATEMÁTICA
LÓGICA MODAL
PROGRAMACIÓN LÓGICA
TEORÍA DE PRUEBAS