Disciplines Institutions Contribute Search
Add Thesis Add Researcher Add Institution
researcher / Arnaud Carayol

Arnaud Carayol

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Automates infinis, logique et langages

Directed Thesis:

Shape-Preserving Transformations of Higher-Order Recursion Schemes