Ty2 revisited
Résumé
We provide a translation of Hybrid Logic into Gallin's Ty2.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Philippe de Groote : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-03940832
Soumis le : lundi 16 janvier 2023-12:36:22
Dernière modification le : lundi 11 septembre 2023-17:41:18
Archivage à long terme le : lundi 17 avril 2023-18:56:02