Communication Dans Un Congrès
Année : 2006
Sébastien Limet : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00085598
Soumis le : jeudi 13 juillet 2006-10:35:01
Dernière modification le : samedi 25 juin 2022-10:10:49
Dates et versions
Identifiants
- HAL Id : hal-00085598 , version 1
Citer
Sébastien Limet, Pierre Pillot. Deciding Satisfiability of Positive Second Order Joinability Formulae. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR06), 2006, France. pp.15-29. ⟨hal-00085598⟩
Collections
52
Consultations
0
Téléchargements