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
id I10-R14111086-15302
record_format dspace
institution Universidad Nacional de Córdoba
institution_str I-10
repository_str R-141
collection Repositorio Digital Universitario (UNC)
language Español
topic Grafos
Modelos
Algoritmo
Tableaux
Theory of computation
Proof theory
Logic
Separation logic
Modal logic
spellingShingle Grafos
Modelos
Algoritmo
Tableaux
Theory of computation
Proof theory
Logic
Separation logic
Modal logic
Saravia, Andrés Román
Cálculo de tableaux para fórmulas elementales en lógicas de separación
topic_facet Grafos
Modelos
Algoritmo
Tableaux
Theory of computation
Proof theory
Logic
Separation logic
Modal logic
description 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.
author2 Fervari, Raúl Alberto
author_facet Fervari, Raúl Alberto
Saravia, Andrés Román
format bachelorThesis
publishedVersion
author Saravia, Andrés Román
author_sort Saravia, Andrés Román
title Cálculo de tableaux para fórmulas elementales en lógicas de separación
title_short Cálculo de tableaux para fórmulas elementales en lógicas de separación
title_full Cálculo de tableaux para fórmulas elementales en lógicas de separación
title_fullStr Cálculo de tableaux para fórmulas elementales en lógicas de separación
title_full_unstemmed Cálculo de tableaux para fórmulas elementales en lógicas de separación
title_sort cálculo de tableaux para fórmulas elementales en lógicas de separación
publishDate 2020
url http://hdl.handle.net/11086/15302
work_keys_str_mv AT saraviaandresroman calculodetableauxparaformulaselementalesenlogicasdeseparacion
bdutipo_str Repositorios
_version_ 1764820393102671874

Ejemplares similares