Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
11
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Modal logics
5
Complexity
4
Logical characterization
3
@ operators
2
Biorthogonality
2
Bisimulation
2
Bisimulations
2
Borel space
2
Characterization
2
Compiler verification
2
Complejidad
2
Continuous probabilities
2
Decidability
2
Decidibilidad
2
Definability
2
Dynamic epistemic logics
2
Dynamic logics
2
Dynamic operators
2
Expressive power
2
Expressivity
2
Higher-order modal logic
2
Hybrid logic
2
Logic
2
Lógicas dinámicas epistémicas
2
Lógicas modales
2
Modal logic
2
Model Check
2
Model theory
2
Nominals
2
Nondeterministic Markov decision process
2
-
1
-
2
-
3
-
4
-
5Materias: “...Logical characterization...”
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
6por Budde, Carlos Esteban, D'Argenio, Pedro Ruben, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
7por Budde, Carlos Esteban, D'Argenio, Pedro Rubén, Sánchez Terraf, Pedro Octavio, Wolovick, NicolásMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bookPart -
8Materias: “...Step-indexed logical relations...”
Aportado por: Repositorio Digital Universitario (UNC)article -
9
-
10Materias: “...Step-indexed logical relations...”
Aportado por: Repositorio Digital Universitario (UNC)article -
11
-
12por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
13por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis