Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Repositorios
40
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 Saravia, Andrés RománMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
2por Saravia, Andrés RománMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
3
-
4
-
5por Leberle, Maico CarlosMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Leberle, Maico CarlosMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Seiler, Nahuel GermánMaterias: “...Logic and databases...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8por Seiler, Nahuel GermánMaterias: “...Logic and databases...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
9
-
10
-
11por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
12por Piloni, DiegoMaterias: “...Mathematical Logic...”
Publicado 2018
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
13por Sánchez Terraf, Pedro OctavioMaterias: “...Equational logic, Malʹcev conditions...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
14por Sánchez Terraf, Pedro OctavioMaterias: “...Equational logic, Malʹcev conditions...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
15por Trucco, Francisco CarlosMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
16por Trucco, Francisco CarlosMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
17por Steinberg, Matías UrielMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
18por Steinberg, Matías UrielMaterias: “...Logic...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis -
19por Tiraboschi, IgnacioMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
20por Tiraboschi, IgnacioMaterias: “...Logic...”
Publicado 2020
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion