Complexity of Model Checking over General Linear Time.

Tim French, John Christopher McCabe-Dansted, Mark Reynolds

Browse the full TIME paper archive.