Buscar
Mostrando ítems 31-40 de 3698
Efficient Tight Field Bounds Computation Based on Shape Predicates
(Springer, 2014-05)
Tight field bounds contribute to verifying the correctness of object oriented programs in bounded scenarios, by restricting the values that fields can take to feasible cases only, during automated analysis. Tight field ...
Existence as a Real Predicate in Thomas AquinasEn torno a la existencia como predicado real en Tomás De Aquino
(Pontificia Universidad Católica del Perú, 2019)
Descrição e classificação das construções conversas do Português do Brasil
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Linguística - PPGLCâmpus São Carlos, 2016-04-07)
This dissertation proposes an analysis about the relation between pairs of constructions, both
with support-verb and predicative name, such as João deu uma ajuda ao Pedro/Pedro
recebeu uma ajuda do João. This relation ...
LA RAZÓN PROLACTINA/ESTRADIOL A LAS 38 SEMANAS DE GESTACIÓN PREDICE LA DURACIÓN DE LA AMENORREA DE LA LACTANCIA
(Sociedad Médica de Santiago, 2002)
PREDICATE NOMINAL AND TRANSITIVE VERBAL EXPRESSIONS OF INTERPERSONAL-RELATIONS
(MOUTON DE GRUYTER, 1994)
PREDICATE NOMINAL AND TRANSITIVE VERBAL EXPRESSIONS OF INTERPERSONAL-RELATIONS
(MOUTON DE GRUYTER, 1994)