SizeChangeTool: A Termination Checker for Rewriting Dependent Types - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2019

SizeChangeTool: A Termination Checker for Rewriting Dependent Types

Domaines

Logique en informatique [cs.LO]
Fichier principal
Vignette du fichier
presentationSCT.pdf (465.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Guillaume Genestier  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02442465

Soumis le : jeudi 16 janvier 2020-14:37:08

Dernière modification le : mardi 27 août 2024-12:51:24

Archivage à long terme le : vendredi 17 avril 2020-20:13:11

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENSMP CNRS INRIA ENS-CACHAN ENSMP_CRI PARISTECH INRIA2 PSL UNIV-PARIS-SACLAY ENSMP_DR ENS-PARIS-SACLAY GS-COMPUTER-SCIENCE LMF
100 Consultations
168 Téléchargements

Partager

More