Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 1
|
|
sorted by
|
|
A Quest for Exactness: Program Transformation for Reliable Real NumbersLogic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English. ⟨NNT : ⟩
Theses
pastel-00960808v1
|
||
|
A framework for defining computational higher-order logicsComputer Science [cs]. École polytechnique, 2015. English. ⟨NNT : ⟩
Theses
tel-01235303v4
|