Complete and Tractable Local Linear Time Temporal Logics over Traces.

Bharat Adsul, Milind A. Sohoni

Browse the full ICALP paper archive.