Extending higher-order logic with predicate subtyping: application to PVS - Inria - Institut national de recherche en sciences et technologies du numérique
Pré-Publication, Document De Travail Année : 2017

Extending higher-order logic with predicate subtyping: application to PVS

Domaines

Logique en informatique [cs.LO] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
dissertation.pdf (1000.69 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Frédéric Gilbert  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01673518

Soumis le : samedi 30 décembre 2017-11:50:33

Dernière modification le : mardi 3 septembre 2024-11:16:05

Télécharger pour visualiser

Dates et versions

hal-01673518 , version 1 (30-12-2017)
hal-01673518 , version 2 (05-12-2018)

Identifiants

  • HAL Id : hal-01673518 , version 1

Citer

Frédéric Gilbert. Extending higher-order logic with predicate subtyping: application to PVS. 2017. ⟨hal-01673518v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
514 Consultations
484 Téléchargements

Partager

More