Knowledge Tree

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