Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Laurence Rideau

Tilting at Windmills With Coq: Formal Verification of a Compilation Algorithm for Parallel Moves

Journal of Automated Reasoning

Computational Theory

Artificial Intelligence

English