Article Dans Une Revue
TPLP
Année : 2015
Martin Dieguez : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01892977
Soumis le : mercredi 10 octobre 2018-20:56:15
Dernière modification le : mardi 16 avril 2024-03:10:16
Dates et versions
Identifiants
- HAL Id : hal-01892977 , version 1
Citer
Pedro Cabalar, Martin Dieguez, Concepción Vidal. An infinitary encoding of temporal equilibrium logic. TPLP, 2015. ⟨hal-01892977⟩
Collections
83
Consultations
0
Téléchargements