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.
Logic
Theory of computation
9
Coq
4
Proof theory
4
Algoritmo
2
Asistente de Prueba
2
Asistentes de prueba
2
Bisimulation
2
Borel space
2
Continuous probabilities
2
Forcing
2
Formal Verification
2
Formalización
2
Grafos
2
Hipótesis del continuo
2
Isabelle / ZF
2
Logic and verification
2
Logical characterization
2
Lógicas Dinámicas
2
Lógicas Modales
2
Metaprogramación
2
Modal and temporal logics (High Relevance)
2
Modal logic
2
Model Check
2
Modelos
2
Mtac2
2
Nondeterministic Markov decision process
2
Probabilistic automaton
2
Relativización
2
Separation logic
2
-
1por Tiraboschi, Ignacio
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
2por Steinberg, Matías Uriel
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
3
-
4por Saravia, Andrés Román
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
5por Tiraboschi, Ignacio
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
6por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
7
-
8por Steinberg, Matías Uriel
Publicado 2021Aportado por: Repositorio Digital Universitario (UNC)publishedVersion bachelorThesis -
9por Incatasciato, Guillermo Luis
Publicado 2022Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
10por Trucco, Francisco Carlos
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion -
11por Monti, Raúl Enrique
Publicado 2023Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis -
12por Saravia, Andrés Román
Publicado 2020Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis publishedVersion