Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
44
Revistas
2
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theory of computation
18
Logic
12
Mathematical Logic
8
Lógica matemática
7
Modal logics
7
Complexity
6
Logic and verification
6
Teoría de la computación
6
Complejidad
4
Coq
4
Decidability
4
Decidibilidad
4
Denotational semantics
4
Dynamic epistemic logics
4
Dynamic operators
4
Expressive power
4
Forcing
4
Lógicas dinámicas epistémicas
4
Lógicas modales
4
Memoria dinámica
4
Modal logic
4
Operadores de cambio de accesibilidad
4
Operadores dinámicos
4
Poder expresivo
4
Proof theory
4
Separation logic
4
Type theory
4
Definability
3
Definibilidad
3
Logical characterization
3
-
1por Morales, MarianelaMaterias: “...Modal and temporal logics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
2
-
3por Morales, MarianelaMaterias: “...Modal and temporal logics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
4
-
5
-
6
-
7por Vaquer, José MaríaMaterias: “...Logics...”
Publicado 2019
Artículo publishedVersion Peer-reviewed papers Artículo evaluado por pares -
8Materias: “...Logical characterization...”
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion article -
9por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
10por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
11por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
12por Fervari, Raúl AlbertoMaterias: “...Modal logics...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
13por Saravia, Andrés RománMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
14por Saravia, Andrés RománMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
15
-
16
-
17por Cherini, RenatoMaterias: “...Logics and meanings of programs...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
18por Cherini, RenatoMaterias: “...Logics and meanings of programs...”
Publicado 2016
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
19por Trucco, Francisco CarlosMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
20por Trucco, Francisco CarlosMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion