Vol-3436⫷ Vol-3437 ⫸Vol-3438
urn:nbn:de:0074-3437-0


Vol-3437/paper6ASPOCP⫷Vol-3437/paper7ASPOCP⫸Vol-3437/paper8ASPOCP
Pedro CabalarMartín DiéguezFrançois LaferrièreTorsten Schaub

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