Avoidability of circular formulas - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Journal Articles Theoretical Computer Science Year : 2018

Dates and versions

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

Identifiers

Cite

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 View
0 Download

Altmetric

Share

More