Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logics
9
Complexity
6
Expressive power
6
Lógica modal
5
Modal logic
5
Complejidad
4
Decidability
4
Decidibilidad
4
Dynamic epistemic logics
4
Dynamic operators
4
Lógicas dinámicas epistémicas
4
Lógicas modales
4
Operadores de cambio de accesibilidad
4
Operadores dinámicos
4
Poder expresivo
4
SMT
4
Characterization
3
Computing methodologies
3
Definability
3
Lógica matemática
3
Model theory
3
Optimización
3
Saturation
3
Separation
3
Simulation
3
@ operators
2
AUTOMATED REASONING
2
AXIOMATIZACION
2
AXIOMATIZATION
2
Analysis of Algorithms and Problem Complexity
2
-
1por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
2por Fervari, Raúl Alberto
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
3
-
4por Rossi, Gisela Carla
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5
-
6por Medina, Raúl Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7
-
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17por Fervari, Raúl Alberto
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
18
-
19por Orbe, Alejandro Ezequiel
Publicado 2016Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
20por Ocampo, Nicolás Benjamín
Publicado 2022Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis