Solving logical equations (Workshop on Modal Logic and its Applications in Computer Science 2016) - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Solving logical equations (Workshop on Modal Logic and its Applications in Computer Science 2016)

Fichier non déposé

Dates et versions

hal-03176433 , version 1 (22-03-2021)

Identifiants

  • HAL Id : hal-03176433 , version 1

Citer

Philippe Balbiani. Solving logical equations (Workshop on Modal Logic and its Applications in Computer Science 2016). Workshop on Modal Logic and its Applications in Computer Science 2016, College of Sciences of the University of Tehran, Sep 2016, Tehran, Iran. ⟨hal-03176433⟩
15 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More