Unification in modal logic
Domaines
Logique [math.LO]| Origine | Fichiers produits par l'(les) auteur(s) |
|---|
Loading...
Communication Dans Un Congrès
Année : 2019
Philippe Balbiani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02411246
Soumis le : samedi 14 décembre 2019-16:38:23
Dernière modification le : lundi 20 novembre 2023-11:44:22
Archivage à long terme le : dimanche 15 mars 2020-14:13:20
Dates et versions
Identifiants
- HAL Id : hal-02411246 , version 1
Citer
Philippe Balbiani. Unification in modal logic. Indian Conference on Logic and its Applications, Mar 2019, Delhi, India. ⟨hal-02411246v1⟩
74
Consultations
151
Téléchargements