SIF 1024-numero1

Réponse à des requêtes conjonctives en présence de règles existentielles – décidabilité, complexité et algorithmes

Michaël Thomazo

[Bibtex]
CC BY-ND
1024_logo
N°6, Juillet 2015, pages 117-119
DOI:10.48556/SIF.1024.6.117