Filtrer vos résultats
- 4
- 4
- 4
- 3
- 1
- 4
- 4
- 4
- 4
- 4
- 3
- 2
4 résultats
|
|
|
triés par
|
|
|
SizeChangeTool: A Termination Checker for Rewriting Dependent TypesHOR 2019 - 10th International Workshop on Higher-Order Rewriting, Jun 2019, Dortmund, Germany. pp.14-19
Communication dans un congrès
hal-02442465v1
|
||
|
|
Termination of λΠ modulo rewriting using the size-change principle (work in progress)16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom. pp. 10-14
Communication dans un congrès
hal-01944731v1
|
||
|
|
Dependency Pairs Termination in Dependent Type Theory Modulo RewritingFSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.9⟩
Communication dans un congrès
hal-01943941v4
|
||
|
|
Dependency Pairs Termination in Dependent Type Theory Modulo RewritingTYPES 2019 - 25th International Conference on Types for Proofs and Programs, Jun 2019, Oslo, Norway. pp.30-31
Communication dans un congrès
hal-02442484v1
|