Avoidability of circular formulas

Guilhem Gamard 1 Pascal Ochem 2 Gwenaël Richomme 1 Patrice Séébold 1
1 ESCAPE - Systèmes complexes, automates et pavages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 ALGCO - Algorithmes, Graphes et Combinatoire
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Type de document :
Article dans une revue
Theoretical Computer Science, Elsevier, 2018, 726, pp.1-4. 〈10.1016/j.tcs.2017.11.014〉
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01692716
Contributeur : Isabelle Gouat <>
Soumis le : jeudi 25 janvier 2018 - 13:46:28
Dernière modification le : jeudi 25 octobre 2018 - 12:44:01

Lien texte intégral

Identifiants

Citation

Guilhem Gamard, Pascal Ochem, Gwenaël Richomme, Patrice Séébold. Avoidability of circular formulas. Theoretical Computer Science, Elsevier, 2018, 726, pp.1-4. 〈10.1016/j.tcs.2017.11.014〉. 〈lirmm-01692716〉

Partager

Métriques

Consultations de la notice

165