Article Dans Une Revue
Theoretical Computer Science
Année : 2018
Isabelle Gouat : Connectez-vous pour contacter le contributeur
https://hal-lirmm.ccsd.cnrs.fr/lirmm-01692716
Soumis le : jeudi 25 janvier 2018-13:46:28
Dernière modification le : dimanche 6 octobre 2024-10:39:42
Dates et versions
Identifiants
- HAL Id : lirmm-01692716 , version 1
- ARXIV : 1610.04439
- DOI : 10.1016/j.tcs.2017.11.014
Citer
Guilhem Gamard, Pascal Ochem, Gwenaël Richomme, Patrice Séébold. Avoidability of circular formulas. Theoretical Computer Science, 2018, 726, pp.1-4. ⟨10.1016/j.tcs.2017.11.014⟩. ⟨lirmm-01692716⟩
Collections
179
Consultations
0
Téléchargements