Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
Tesis (Lic. en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2017.
Guardado en:
| Autor principal: | Rearte, Lucas Agustín |
|---|---|
| Otros Autores: | Cherini, Renato, dir. |
| Formato: | bachelorThesis |
| Lenguaje: | Español |
| Publicado: |
2018
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/11086/5838 |
| Aporte de: |
Ejemplares similares
-
Analizando la forma de estructuras de datos no lineales en memoria dinámica con Separation Logic
por: Rearte, Lucas Agustín
Publicado: (2018) -
Logical foundations and implementation of an extension of temporal logic
por: Cobo, María Laura, et al.
Publicado: (2000) -
A connection between similarity logic programming and gödel modal logic
por: Blandi, L., et al. -
A connection between similarity logic programming and gödel modal logic
Publicado: (2005) -
Relating defeasible and normal logic programming through transformation properties
por: Chesñevar, Carlos Iván, et al.
Publicado: (2000)