Filtrer vos résultats
- 6
- 4
- 1
- 1
- 1
- 5
- 4
- 1
- 1
- 1
- 2
- 1
- 6
- 5
- 4
- 1
- 6
- 4
- 2
- 1
- 1
- 1
- 1
- 1
- 1
6 résultats
|
|
|
triés par
|
|
|
Airline Disruption Management with Aircraft Swapping and Reinforcement LearningSID 2018, 8th SESAR Innovation Days, Dec 2018, Salzburg, Austria
Communication dans un congrès
hal-01944612v1
|
||
|
|
Expressing predicate subtyping in computational logical frameworksLogic in Computer Science [cs.LO]. Université Paris-Saclay, 2022. English. ⟨NNT : 2022UPASG070⟩
Thèse
tel-03855351v1
|
||
|
|
Encoding of Predicate Subtyping with Proof Irrelevance in the λΠ-Calculus Modulo TheoryTYPES 2020 - 26th International Conference on Types for Proofs and Programs, Mar 2020, Turino, Italy. ⟨10.4230/LIPIcs.TYPES.2020.6⟩
Communication dans un congrès
hal-03279766v2
|
||
|
|
The New Rewriting Engine of DeduktiFSCD 2020 - 5th International Conference on Formal Structures for Computation and Deduction, Jun 2020, Paris, France. pp.16, ⟨10.4230/LIPIcs.FSCD.2020.35⟩
Communication dans un congrès
hal-02981561v2
|
||
|
|
Some Axioms for MathematicsFSCD 2021 - 6th International Conference on Formal Structures for Computation and Deduction, Jul 2021, Buenos Aires / Virtual, Argentina. ⟨10.4230/LIPIcs.FSCD.2021.20⟩
Communication dans un congrès
hal-03279749v1
|
||
|
|
A modular construction of type theoriesLogical Methods in Computer Science, 2023, 19 (1), ⟨10.46298/lmcs-19(1:12)2023⟩
Article dans une revue
hal-04317047v1
|