Article Dans Une Revue
Electronic Colloquium on Computational Complexity
Année : 2012
Francois Chevallier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00870901
Soumis le : mardi 8 octobre 2013-12:28:29
Dernière modification le : mercredi 4 septembre 2024-17:34:07
Dates et versions
Identifiants
- HAL Id : hal-00870901 , version 1
Citer
Lakhdar Saïs, Mohand-Said Hacid, François Hantry. On the complexity of computing minimal unsatisfiable LTL formulas. Electronic Colloquium on Computational Complexity, 2012, 19, pp.69. ⟨hal-00870901⟩
Collections
97
Consultations
0
Téléchargements