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
Document type :
Journal articles
Complete list of metadatas

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01692716
Contributor : Isabelle Gouat <>
Submitted on : Thursday, January 25, 2018 - 1:46:28 PM
Last modification on : Friday, April 12, 2019 - 10:18:10 AM

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

220