Skip to content

Efficiently Executable Temporal Logic Programs.

Stephan Merz

VenueA*IJCAI
Year1993
ProceedingsExecutable Modal and Temporal Logics

Browse the full IJCAI paper archive.