Search - PASTEL - Thèses en ligne de ParisTech Access content directly

Filter your results

2 Results
Structure: Internal structure identifier : 65197
Image document

Generic Proof Tools and Finite Group Theory

François Garillot
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2011. English. ⟨NNT : ⟩
Theses pastel-00649586v1
Image document

Formalized algebraic numbers: construction and first-order theory.

Cyril Cohen
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2012. English. ⟨NNT : ⟩
Theses pastel-00780446v1