Algoritmos para decidir definibilidad de fragmentos de lógica en primer orden

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

Bibliographic Details
Main Author: Ventura, Pablo Gabriel
Other Authors: Campercholi, Miguel Alejandro Carlos
Format: bachelorThesis
Language:spa
Published: 2023
Subjects:
Online Access:http://hdl.handle.net/11086/548395
Description
Summary:Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2023.