Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Jacqueline Vauzeilles

Jacqueline Vauzeilles

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Typing and Optimal reduction for λ-calculus in variants of Linear logic for Implicit computational complexity
Programmation logique : non-commutativité et polarisation
Planification en logique linéaire et langages de requêtes relationnels avec compteurs