The validity problem for the logic DALLA is decidable Article - 1996

Stéphane Demri

Stéphane Demri, « The validity problem for the logic DALLA is decidable  », Bulletin of the Polish Academy of Sciences - Mathematics, 1996, pp. 79—86. ISSN 0239-7269

Voir la notice complète sur HAL

Actualités