The Complexity of Temporal Logic with Until and Since over Ordinals (Q3498491)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5275866
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The Complexity of Temporal Logic with Until and Since over Ordinals |
scientific article; zbMATH DE number 5275866 |
Statements
The Complexity of Temporal Logic with Until and Since over Ordinals (English)
0 references
15 May 2008
0 references
0.9693907499313354
0 references
0.8513282537460327
0 references
0.8513280749320984
0 references
0.8254467844963074
0 references
0.8092978596687317
0 references
