Avoidability of circular formulas - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Article Dans Une Revue Theoretical Computer Science Année : 2018

Dates et versions

lirmm-01692716 , version 1 (25-01-2018)

Identifiants

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⟩
177 Consultations
0 Téléchargements

Altmetric

Partager

More