Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Irène Guessarian

Irène Guessarian

at_id:

orcid_id:

Disciplines:

Applied sciences
Computer sciences
Edit Merge See Links

Directed Thesis:

Verification des contraintes d'integrites dans les bases de donnees relationnelles et deductives
Transformations de programmes logiques avec contraintes
Equites et automates en sccs