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
(3)
Show More
Show Less
Author
Show More
Show Less
Subject
Axiome of dependent choice
(1)
Classical realizability
(1)
Computational content of classical proof
(1)
ECONOMIA
(1)
ELECTRÓNICA
(1)
EMPLEO JUVENIL
(1)
EVALUACION DE IMPACTO
(1)
EXPERIMENTO ALEATORIO CONTROLADO
(1)
Implicative algebras
(1)
Lazy evaluation
(1)
Show More
Show Less
Year
2019
(3)
2017
(2)
215
(1)
703
(1)
2003
(1)
Show More
Show Less
Document Type
Sin Especificar
(1)
Preprint
(1)
Reporte
(1)
Show More
Show Less
Language
Inglés
(3)
Show More
Show Less
Your search
Query:
FORMAL LANGUAGES
Repository:
65
Language:
Inglés
Year:
2019
Sort by
Score
Title
Year
-
1-3 from
3
results
(0.012 seconds)
Title:
SpectreHDL model of a photodetector cell for electrical simulation and its application in a WTA based light spot center location circuit
Language:
Inglés
Repository:
65
Subject:
ELECTRÓNICA
Title:
Impact of a work-study programme for teenagers: evidence from a randomized controlled trial
Language:
Inglés
Repository:
65
Subject:
ECONOMIA
/
EVALUACION DE IMPACTO
/
EMPLEO JUVENIL
/
EXPERIMENTO ALEATORIO CONTROLADO
Acceder
Title:
Classical realizability and side-effects
Language:
Inglés
Repository:
65
Subject:
Computational content of classical proof
/
Side effects
/
Lazy evaluation
/
Axiome of dependent choice
/
Classical realizability
/
Implicative algebras
« Previous
1
Next »