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.
Denotational semantics
4
Semantics of Programming Languages
4
Adecuación computacional
2
Agda
2
Alloy
2
Bisimulaciones
2
Bracketing
2
Categorical semantics
2
Categoría funtorial
2
Coherencia
2
Corrección de compiladores
2
Código intermedio
2
Implementaciones
2
LTS
2
Lambda calculus and related systems
2
Licenses
2
Linked data
2
Logic and verification
2
Lógica matemática
2
MTS
2
Mathematical Logic
2
Mecanización
2
Operational semantics
2
Relaciones lógicas
2
SAT solver
2
Semantic web
2
Semántica de lenguajes de programación
2
Semántica denotacional
2
Sistemas relacionados
2
Software/Program Verification
2
-
1por Gadea, Alejandro EmilioMaterias: “...Denotational semantics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
2por Gadea, Alejandro EmilioMaterias: “...Denotational semantics...”
Publicado 2019
Aportado por: Repositorio Digital Universitario (UNC)doctoralThesis publishedVersion -
3Materias: “...Timed Petri Nets semantics...”
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
4por Rodríguez, Leonardo MatíasMaterias: “...Semantics of Programming Languages...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
5por Rodríguez, Leonardo MatíasMaterias: “...Semantics of Programming Languages...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
6por Dania, Carolina InésMaterias: “...Semantics of Programming Languages...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
7por Dania, Carolina InésMaterias: “...Semantics of Programming Languages...”
Publicado 2011
Aportado por: Repositorio Digital Universitario (UNC)bachelorThesis -
8
-
9por Cardellino, Cristian Adrián, Villata, Serena, Gordon, Fabien, Governatori, Guido, Lam, Ho-Pun, Rotondo, AntoninoMaterias: “...Semantic web...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
10por Cardellino, Cristian Adrián, Villata, Serena, Gordon, Fabien, Governatori, Guido, Lam, Ho-Pun, Rotondo, AntoninoMaterias: “...Semantic web...”
Publicado 2021
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject -
11por Ferreyra, Ricardo TomásMaterias: “...Semantic connection...”
Publicado 2022
Aportado por: Repositorio Digital Universitario (UNC)conferenceObject