Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning

Fichier non déposé

Dates et versions

hal-02287722 , version 1 (13-09-2019)

Identifiants

  • HAL Id : hal-02287722 , version 1

Citer

Marc Aiguier, Isabelle Bloch. Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning. World Congress and School on Universal Logic (UNILOG 2018), Jun 2018, Vichy, France. ⟨hal-02287722⟩
57 Consultations
0 Téléchargements

Partager

More