Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting

Type de document :
Pré-publication, Document de travail
2018
Liste complète des métadonnées

https://hal.inria.fr/hal-01943941
Contributeur : Frédéric Blanqui <>
Soumis le : mardi 4 décembre 2018 - 11:52:20
Dernière modification le : jeudi 6 décembre 2018 - 01:14:41

Identifiants

  • HAL Id : hal-01943941, version 1

Citation

Frédéric Blanqui, Guillaume Genestier, Olivier Hermant. Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting. 2018. 〈hal-01943941〉

Partager

Métriques

Consultations de la notice

25