Vol-4238⫷ Vol-4239 ⫸Vol-4240
urn:nbn:de:0074-4239-0


Vol-4239/paper-Rocha-11⫷Vol-4239/paper-Simkus-5⫸Vol-4239/paper-Skiba-15
Mantas Šimkus

A Definitional Fragment of Temporal Equilibrium Logic: from Temporal Programs to Compact Automata