Article Dans Une Revue
TPLP
Année : 2017
Martin Dieguez : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01892919
Soumis le : mercredi 10 octobre 2018-19:27:17
Dernière modification le : jeudi 18 avril 2024-03:12:07
Dates et versions
Identifiants
- HAL Id : hal-01892919 , version 1
Citer
Felicidad Aguado, Pedro Cabalar, Gilberto Pérez, Concepción Vidal, Martin Dieguez. Temporal logic programs with variables. TPLP, 2017. ⟨hal-01892919⟩
Collections
85
Consultations
0
Téléchargements