Cálculo de tableaux para fórmulas elementales en lógicas de separación

Mostrar todas las versiones(2)

Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2020.

Guardado en:
Detalles Bibliográficos
Autor principal: Saravia, Andrés Román
Otros Autores: Fervari, Raúl Alberto
Formato: bachelorThesis publishedVersion
Lenguaje:Español
Publicado: 2020
Materias:
Grafos
Modelos
Algoritmo
Tableaux
Theory of computation
Proof theory
Logic
Separation logic
Modal logic
Acceso en línea:http://hdl.handle.net/11086/15302
Aporte de:
Repositorio Digital Universitario (UNC) de Universidad Nacional de Córdoba
Descripción
Sumario:Tesis (Lic. en Cs. de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2020.

Ejemplares similares