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

Filter your results

2 Results
Structure: Internal structure identifier : 206117
Image document

A Quest for Exactness: Program Transformation for Reliable Real Numbers

Pierre Neron
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses pastel-00960808v1
Image document

A framework for defining computational higher-order logics

Ali Assaf
Computer Science [cs]. École polytechnique, 2015. English. ⟨NNT : ⟩
Theses tel-01235303v4