1 |
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes
|
|
|
|
BASE
|
|
Show details
|
|
2 |
Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes ...
|
|
|
|
BASE
|
|
Show details
|
|
3 |
Adding the Relation Meets to the Temporal Logic of Prefixes and Infixes makes it EXPSPACE-Complete ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|