Your search returned 16 results.

Sort
Results
Sobre la representación de S4.3. by
Material type: Text Text; Literary form: Not fiction
Publication details: 1996
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Ciencias Exactas, 1996.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 96/01 .

Information flow analysis for a typed assembly language with polymorphic stacks by Series: ^p Datos electrónicos (1 archivo : 680 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A normalisation result for higher-order calculi with explicit substitutions by Series: ^p Datos electrónicos (1 archivo : 323 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Correspondence assertions for process synchronization in concurrent communications by Series: ^p Datos electrónicos (1 archivo : 315 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Non-interference for a typed assembly language by Series: ^p Datos electrónicos (1 archivo : 152 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

A typed assembly language for non-interference by Series: ^p Datos electrónicos (1 archivo : 162 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Typechecking safe process synchronization by Series: ^p Datos electrónicos (1 archivo : 428 KB)
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Lógica de pruebas para certificación de computación móvil by
Material type: Text Text; Literary form: Not fiction
Publication details: 2009
Dissertation note: Tesina (Licenciatura en Informática) - Universidad Nacional de La Plata. Facultad de Informática, 2009.
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 09/22 . Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

The intensional lambda calculus by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Justification logic as a foundation for certifying mobile computation by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Compilación de programas seguros by
Material type: Text Text; Literary form: Not fiction
Publication details: 2009
Availability: Items available for reference: Biblioteca de la Facultad de Informática: Consulta en Sala (1)Call number: TES 09/38 .

Multipoint session types for a distributed calculus by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

The logic of proofs as a foundation for certifying mobile computation by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

de Bruijn indices for metaterms by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Relating higher-order and first-order rewriting by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Boxed ambients with communication interfaces by
Material type: Article Article; Literary form: Not fiction
Availability: Not available: Biblioteca de la Facultad de Informática: No corresponde (1).

Pages