Knowledge Tree

researcher / Olivier Serre

Olivier Serre

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Thesis:

Contribution à l'étude des jeux sur des graphes de processus à pile

Directed Thesis:

Semantics of linear logic and higher-order model-checking

Shape-Preserving Transformations of Higher-Order Recursion Schemes