Search - Archive ouverte HAL Access content directly

Filter your results

4 Results
Image document

SizeChangeTool: A Termination Checker for Rewriting Dependent Types

Guillaume Genestier
HOR 2019 - 10th International Workshop on Higher-Order Rewriting, Jun 2019, Dortmund, Germany. pp.14-19
Conference papers hal-02442465v1
Image document

Termination of λΠ modulo rewriting using the size-change principle (work in progress)

Frédéric Blanqui , Guillaume Genestier
16th International Workshop on Termination, Jul 2018, Oxford, United Kingdom. pp. 10-14
Conference papers hal-01944731v1
Image document

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting

Frédéric Blanqui , Guillaume Genestier , Olivier Hermant
TYPES 2019 - 25th International Conference on Types for Proofs and Programs, Jun 2019, Oslo, Norway. pp.30-31
Conference papers hal-02442484v1
Image document

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting

Frédéric Blanqui , Guillaume Genestier , Olivier Hermant
FSCD 2019 - 4th International Conference on Formal Structures for Computation and Deduction, Jun 2019, Dortmund, Germany. ⟨10.4230/LIPIcs.FSCD.2019.9⟩
Conference papers hal-01943941v4