Past-present temporal programs over finite traces: a preliminary report
- Cabalar, P.
- Diéguez, M.
- Laferrière, F.
- Schaub, T.
Actas:
CEUR Workshop Proceedings
ISSN: 1613-0073
Año de publicación: 2023
Volumen: 3437
Tipo: Aportación congreso