Cálculo de tableaux para fórmulas elementales en lógicas de separación
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:
Autor principal: | |
---|---|
Otros Autores: | |
Formato: | bachelorThesis publishedVersion |
Lenguaje: | Español |
Publicado: |
2020
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/11086/15302 |
Aporte de: |
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 |