Mostrando ítems 1-10 de 37
Sistemas y subsistemas de sustituciones explícitas: Explicit substitution systems and subsystems
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2005)
Normalização forte via ordinal natural
([s.n.], 1999)
Aproximando los escalares de un lambda-cálculo algebraico mediante cotas inferiores
(Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario, 2013)
Análise do impacto na compreensão de programas Java com a introdução de expressões lambda
(2019-12-27)
As expressões lambda foram introduzidas na linguagem Java com o intuito de facilitar
o estilo de programação funcional e com o passar do tempo o número de desenvolvedores
que utilizam os novos recursos vêm crescendo. ...
Quebra de Simetria no Universo Primordial
(Universidade Estadual Paulista (Unesp), 2007-04-27)
Analytic expressions for solutions in the Standard Model are presented here for all combinations of 'lâmbda' = 0, 'lâmbda'diferente 0, 'capa' = 0 and 'capa'diferente'0 in the presence and absence of radiation and nonrelativistic ...
Dos temas en reescritura: combinadores para cálculos con patrones e isomorfismo de Curry-Howard para la Lógica de PruebasTwo topics in rewriting: combinators for pattern calculi and Curry-Howard for the Logic of Proofs
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2014)
Solução das ambiguidades de linhas de bases médias e longas: aplicação no posicionamento baseado em redes
(Universidade Estadual Paulista (Unesp), 2015-10-01)
Essencial to the performance of Network RTK positioning is that a user receives and applies correction information from a network. These corrections are necessary for the user to account for the atmospheric (ionospheric ...