Teoría de modelos para lógica modal con predicados de caminos

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

Bibliographic Details
Main Author: Torres Villegas, Leonardo Luis
Other Authors: Fervari, Raúl Alberto
Format: bachelorThesis
Language:spa
Published: 2025
Subjects:
Online Access:http://hdl.handle.net/11086/555666