Skip to content

Computational Complexity of a Core Fragment of Halpern-Shoham Logic.

Przemyslaw Andrzej Walega

VenueCTIME
Year2018
ProceedingsTIME

Browse the full TIME paper archive.