Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
ALGEBRAIC SPECIFICATIONS
1
CLASSICAL LOGIC
1
CONSTRUCTIVE LOGIC
1
CURRY-HOWARD
1
DESORDENES CONGENITOS DE GLICOSILACION
1
ENDOMANOSIDA
1
ESPECIFICACION ALGEBRAICA
1
ESPECIFICACION HETEROGENEA
1
FORMAL METHODS
1
GLUCOSIDASA I
1
HETEROGENEOUS SPECIFICATIONS
1
INGENIERIA DE SOFTWARE
1
INSTITUCIONES
1
INSTITUTIONS
1
KRIPKE SEMANTICS
1
LEVADURA DE FISION
1
LOGIC
1
LOGICA
1
LOGICA CLASICA
1
LOGICA CONSTRUCTIVA
1
METODOS FORMALES
1
N-GLICOSILACION
1
PROPOSICIONES COMO TIPOS
1
PROPOSITION AS TYPES
1
SEMANTICA DE KRIPKE
1
SOFTWARE ENGINEERING
1
-
1por Martinez Suñé, Agustín Eloy“... traducciones que conservan la semántica, permitió la consideración de diagramas de instituciones como ambientes...”
Publicado 2017
Tesis de Grado -
2por Santi, Lucio“... definición de traducciones entre ellos, a nivel sintáctico. Presentamos la traducción de un gran fragmento...”
Publicado 2009
Tesis de Grado -
3por Fortes, Emiliano Manuel“...Las funciones de correlación desordenadas temporalmente (OTOCs)(La sigla se deriva de su traducción...”
Publicado 2020
Tesis de Grado -
4por Freund, Teodoro“.... La terminación fuerte del cálculo λprkse demuestra a través de una traducción a System F extendido...”
Publicado 2021
Tesis de Grado -
5por Francia, Marcos Gabriel“... mantenimiento de la pluripotencia en CME. Se conocen varios eventos de modificación post-traduccional que están...”
Publicado 2017
Tesis de Grado -
6por Ugalde, Juan Esteban“... presencia de un promotor río arriba de la pgm se ha construído una fusión traduccional pgm-lacZ, esta fusión...”
Publicado 1988
Tesis de Grado -
7por Koile, Daniel“... CategorialType Logics (CTL). Utilizando un sistema de inferencia basado en tableaux, y traducciones de lógicas...”
Publicado 22 d
Tesis de Grado -
8por Paglilla, María de la Paz“.... Pareciera tratarse de una modificación post-traduccional de los mismos. No se sabe, además, si la...”
Publicado 1998
Tesis de Grado -
9por Etchegaray Elcuaz, Emiliana“... forma co-traduccional. Luego de la adición de dicho glicano, el mismo es sujeto a múltiples...”
Publicado 2019
Tesis de Grado