 |
Journal articles
Definability for model counting
https://hal-univ-artois.archives-ouvertes.fr/hal-03167468
Contributor : Emmanuel Lonca Connect in order to contact the contributor
Submitted on : Friday, March 12, 2021 - 10:08:07 AM
Last modification on : Wednesday, November 3, 2021 - 8:12:06 AM
Contributor : Emmanuel Lonca Connect in order to contact the contributor
Submitted on : Friday, March 12, 2021 - 10:08:07 AM
Last modification on : Wednesday, November 3, 2021 - 8:12:06 AM
Links full text
