Unification in modal logic - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

Unification in modal logic

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

Dates et versions

hal-02411246 , version 1 (14-12-2019)
hal-02411246 , version 2 (07-07-2020)

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⟩
62 Consultations
128 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More