Optimización de la traducción funcional para lógicas modales by Díaz, Marcio Oscar

Subjects: Get full text

Representaciones globales para cuasivariedades de congruencias relativas distributivas by Schilman, Mauro

Subjects: “…Lógica matemática…”
Get full text

Aplicaciones de álgebra universal al reticulado de Post by Leberle, Maico Carlos

Subjects: “…Lógica matemática…”
Get full text

Teoría de prueba con etiquetas para lógicas modales intuicionistas by Morales, Marianela

Subjects: Get full text

Lógicas modales con datos infinitos by Rossi, Gisela Carla

Subjects: Get full text

Simetrías en lógicas de descripción by Rescía, Giovanni

Subjects: “…Lógicas de descripción…”
Get full text

caos[ex]música : estudio de conceptos relacionados con el caos, para la composición en música by Behm, Pablo L.

Subjects: Get full text

Análisis de la definibilidad de relaciones en estructuras de primer orden by Incatasciato, Guillermo Luis

Subjects: Get full text

Implementación de técnicas de derivación de contraejemplos en el model checker PRISM by Marenchino, Matías Leandro

Subjects: Get full text

Herramientas y mecanismos formales para el tratamiento de la tolerancia a fallas by Acosta, Araceli Natalia

Subjects: Get full text

Juegos estocásticos con objetivo compuesto: recompensas totales sujetas a alcanzabilidad prioritaria by Feltes, Joaquín Ignacio

Subjects: Get full text

Generación de código intermedio usando semántica funtorial by Rodríguez, Leonardo Matías

Subjects: Get full text

Estudio de semántica categórica para lenguajes Algol-Like by Gadea, Alejandro Emilio

Subjects: Get full text

Fuzzing multiplataforma guiado con ejecucción concólica by Aznarez Rojo, Gastón

Subjects: Get full text

Vínculos efímeros: performance del encuentro by Requena, Lucrecia

Subjects: Get full text

Selección de componentes discretos para un filtro activo mediante ​programación por restricciones ​y ​optimización por colonia de hormigas by Demarco Vedelago, Leandro

Subjects: “…Constricción y programación lógica…”
Get full text