A problem has been found
A problem has ocurred in the communication with the server.
Please, try again later. If the problem persists, contact the admin
Home
Repositories
Authors
Document types
Statistics
About
Query
Advanced Search
Simple Search
Title
Author
Subject
Year
Refine your Search
Repository
65
(6)
Show More
Show Less
Author
Show More
Show Less
Subject
DESEMPLEO
(2)
MERCADO DE TRABAJO
(2)
SEGURO DE DESEMPLEO
(2)
Automatic proofs
(1)
BENEFIT PLANS
(1)
Bancos
(1)
Demostración automática de teoremas
(1)
Demostración interactiva de teoremas
(1)
EVALUACION
(1)
Evaluación perezosa
(1)
Show More
Show Less
Year
2015
(6)
225
(3)
2012
(2)
2016
(2)
2014
(1)
Show More
Show Less
Document Type
Reporte
(5)
Sin Especificar
(1)
Show More
Show Less
Language
Inglés
(6)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
65
Year:
2015
Language:
Inglés
Sort by
Score
Title
Year
-
1-6 from
6
results
(0.011 seconds)
Title:
Social security schemes and labor supply in the formal and informal sectors
Language:
Inglés
Repository:
65
Subject:
SEGURIDAD SOCIAL
/
SOCIAL SECURITY
/
SISTEMAS DE PREVISION SOCIAL
/
BENEFIT PLANS
/
SECTOR INFORMAL
/
INFORMAL SECTOR
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:
Protecting workers against unemployment in Uruguay
Language:
Inglés
Repository:
65
Subject:
MERCADO DE TRABAJO
/
DESEMPLEO
/
SEGURO DE DESEMPLEO
/
EVALUACION
Acceder
Title:
Regulation and bankers’ incentives
Language:
Inglés
Repository:
65
Subject:
Regulación bancaria
/
Bancos
Acceder
Title:
Tolerance to tax evasion
Language:
Inglés
Repository:
65
Subject:
Evasión fiscal
Acceder
Title:
The effects of being out of the labor market on subsequent wages : evidence for Uruguay
Language:
Inglés
Repository:
65
Subject:
SALARIOS
/
MERCADO DE TRABAJO
/
DESEMPLEO
/
SEGURO DE DESEMPLEO
Acceder
« Previous
1
Next »