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.

Bibliographic Details
Main Author: Saravia, Andrés Román
Other Authors: Fervari, Raúl Alberto
Format: info:eu-repo/semantics/publishedVersion
Language:spa
Published: 2020
Subjects:
Online Access:http://hdl.handle.net/11086/15302
Description
Summary: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.