Past-present temporal programs over finite traces: a preliminary report

Download PDF

Pedro Cabalar, Martín Diéguez, François Laferrière, Torsten Schaub

Published: 01 Jan 2023, Last Modified: 19 Oct 2024ICLP Workshops 2023EveryoneRevisionsBibTeXCC BY-SA 4.0