Knowledge Tree

researcher / Laurent Vigneron

Laurent Vigneron

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Déduction automatique avec contraintes symboliques dans les théories équationnelles

Directed Thesis:

Output-sensitive algorithms for enumeration problems in graphs

Contributions à la vérification automatique de protocoles de groupes