The complexity of temporal logic over the reals (Q636345)
From MaRDI portal
| This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The complexity of temporal logic over the reals |
scientific article; zbMATH DE number 5943639
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The complexity of temporal logic over the reals |
scientific article; zbMATH DE number 5943639 |
Statements
The complexity of temporal logic over the reals (English)
0 references
26 August 2011
0 references
temporal logic
0 references
decision problem
0 references
PSPACE-completeness
0 references
0.9269739
0 references
0.9260024
0 references
0.9177214
0 references
0.91600555
0 references
0.9139433
0 references
0.91343915
0 references