An infinitary encoding of temporal equilibrium logic
- Cabalar, P.
- Diéguez, M.
- Vidal, C.
ISSN: 1475-3081, 1471-0684
Ano de publicación: 2015
Volume: 15
Número: 4-5
Páxinas: 666-680
Tipo: Artigo
ISSN: 1475-3081, 1471-0684
Ano de publicación: 2015
Volume: 15
Número: 4-5
Páxinas: 666-680
Tipo: Artigo