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

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

Domaines

Logique en informatique [cs.LO]

Documentation IRIT  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03176433

Soumis le : lundi 22 mars 2021-13:35:54

Dernière modification le : lundi 20 novembre 2023-11:44:23

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
29 Consultations
0 Téléchargements

Partager

More