Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Y. BEKKERS
Y. BEKKERS
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Programmation en logique et typage d'ordre superieur
Nouvelles fondations pour la programmation en logique disjonctive
Elagage de contexte, retour arriere superficiel, coupure et autres : une etude approfondie de la wam