Knowledge Tree

researcher / Jean-Luc Coquide

Jean-Luc Coquide

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Contrôles et preuves dans les systèmes clos : automates à piles d'arbres et calcul de formes normales