Login / Signup

Propositional Temporal Interval Logic is PSPACE Complete.

A. A. AabyK. T. Narayana
Published in: CADE (1988)
Keyphrases