Skip to Main content Skip to Navigation
Journal articles

Avoidability of circular formulas

Guilhem Gamard 1 Pascal Ochem 2 Gwenaël Richomme 1, 3 Patrice Séébold 1, 3
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
Document type :
Journal articles
Complete list of metadata

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01692716
Contributor : Isabelle Gouat <>
Submitted on : Thursday, January 25, 2018 - 1:46:28 PM
Last modification on : Thursday, May 13, 2021 - 12:10:01 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

307