SizeChangeTool: A Termination Checker for Rewriting Dependent Types - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

SizeChangeTool: A Termination Checker for Rewriting Dependent Types

Fichier principal
Vignette du fichier
presentationSCT.pdf (465.68 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02442465 , version 1 (16-01-2020)

Identifiants

  • HAL Id : hal-02442465 , version 1

Citer

Guillaume Genestier. SizeChangeTool: A Termination Checker for Rewriting Dependent Types. HOR 2019 - 10th International Workshop on Higher-Order Rewriting, Jun 2019, Dortmund, Germany. pp.14-19. ⟨hal-02442465⟩
72 Consultations
128 Téléchargements

Partager

Gmail Facebook X LinkedIn More