Mostrando 1 - 20 resultados de 12.822 para a busca '(( decrease taping decrease hiv decrease ) OR ( decrease OR decrease of atomic ))*', tempo de busca: 0,83s Refinar Resultados
1
Publicado em 2014
...It is known that the full intuitionistic propositional calculus can be embedded into the atomic...
Acessar documento
Artigo
3
Publicado em 2017
...) translate into βη-conversions of the atomic polymorphic calculus Fat. Since Fat enjoys the property...
Acessar documento
Artigo
4
Publicado em 2013
...It has been known for six years that the restriction of Girard’s polymorphic system F to atomic...
Acessar documento
Artigo
7
Publicado em 2019
...We show that the number-theoretic functions de nable in the atomic polymorphic system (Fat) are...
Acessar documento
Artigo
8
Publicado em 2016
... strong normalization of the atomic polymorphic calculus Fat (a predicative restriction of Girard’s system F)....
Acessar documento
Artigo
12
Publicado em 2012
...This study represents an overview of some aspects ofpsychosocial readaptation of the atomic bomb...
Acessar documento
Artigo
18
Publicado em 2017
... results from purely optical interactions between the atomic internal degrees of freedom. In the optically...
Acessar documento
Tese
19
Publicado em 2023
... master thesis, we analyzed and simulated, at atomic level, the changes in the organic electrode...
Acessar documento
Dissertação
Exportar CSV Export RIS