OPAC

Your search

Query: PROGRAM Repository: 65

Sort by Score Title Year -

1-10 from 56 results (0.01 seconds)

Title: Internal program extraction in the calculus of inductive constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: An operational approach to program extraction in the Calculus of Constructions
Language: in
Repository: 65
Subject: CALCULUS OF CONSTRUCTIONS

Acceder
Title: Glass ceiling in research : evidence from a national program in Uruguay
Language: Inglés
Repository: 65
Subject: DISCRIMINACION BASADA EN EL SEXO / GENERO / INVESTIGACION / URUGUAY

Acceder
Title: Prices and competition : evidence from a social program
Language: Español
Repository: 65
Subject: Precios / Mercado

Acceder
Title: Transfer program enforcement and children's time allocation
Language: Inglés
Repository: 65
Subject: Time use / Enforcement / Discrete choice models / Conditional cash transfer / Uso del tiempo / Transferencias condicionadas de ingreso / Modelos de elección discreta / ECONOMIA DOMESTICA / GASTO PUBLICO SOCIAL / OFERTA DE TRABAJO / ADOLESCENTES
Title: Public transfers and poverty reduction: an evaluation of program contribution to the exit rate from poverty of children and the elderly
Language: Inglés
Repository: 65
Subject: POBREZA / TRANSFERENCIA PUBLICA / GASTO SOCIAL / NIÑO

Acceder
Title: Reasoning about functional programs by combining interactive and automatic proofs
Language: Inglés
Repository: 65
Subject: Demostración automática de teoremas / Demostración interactiva de teoremas / Evaluación perezosa / Teoría de tipos / Lenguajes totales / Recursión general / Teorías de primer orden / Verificación de programas funcionales / Automatic proofs / First-order theories / Functional program correctness / General recursion / Interactive proofs / Lazy evaluation / Total languages / Type theory

Acceder
Title: Are not any silver in the cloud? Subjective well-being among deprived young people
Language: Inglés
Repository: 65
Subject: Social intermediation program / Subjective well-being / Aspiration / Bienestar subjetivo / Programa de intermediación social / Aspiraciones
Title: Especificación y verificación formal de sistemas críticos en el Instituto de Computación de la Universidad de la República (Uruguay)
Language: Español
Repository: 65
Subject: Software Program Verification / Formal Methods / Correctness Proofs / Model Checking / Métodos Formales / Verificación de Sistemas Embebidos / Especificación y Prueba Asistida de Propiedades.

Acceder
Title: Respuestas en los ingresos frente a un programa de transferencias monetarias : evidencia de un notch a partir de registros administrativos de Uruguay
Language: Español
Repository: 65
Subject: Transferencias no contributivas / Comportamiento en el mercado laboral / Bunching / Notches / Conditional cash transfers / Labor market / DESIGUALDAD y POBREZA

« Previous 1 2 3 4 5 6 Next »

Refine your Search

Repository

Author

Subject

Year

Document Type

Language

Your search