Communication Dans Un Congrès
Année : 2010
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940622
Soumis le : dimanche 2 février 2014-11:58:45
Dernière modification le : mercredi 18 décembre 2024-09:34:25
Dates et versions
Identifiants
- HAL Id : hal-00940622 , version 1
Citer
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. Complexity of the Satisfiability Problem for a Class of Propositional Schemata. International Conference on Language and Automata Theory and Applications, 2010, Germany. pp.58-69. ⟨hal-00940622⟩
147
Consultations
0
Téléchargements