Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting - Laboratoire Méthodes Formelles Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting

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

Dates et versions

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

Identifiants

  • HAL Id : hal-02442484 , version 1

Citer

Frédéric Blanqui, Guillaume Genestier, Olivier Hermant. Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting. TYPES 2019 - 25th International Conference on Types for Proofs and Programs, Jun 2019, Oslo, Norway. pp.30-31. ⟨hal-02442484⟩
70 Consultations
39 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More