Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers (Q3113783)
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 5999730
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Decidability of the interval temporal logic \(\operatorname{AB\overline{B}}\) over the natural numbers |
scientific article; zbMATH DE number 5999730 |
Statements
23 January 2012
0 references
interval temporal logics
0 references
compass structures
0 references
decidability
0 references
complexity
0 references
0.8675386905670166
0 references
0.862399697303772
0 references
0.8550206422805786
0 references
0.8521597385406494
0 references
0.8499288558959961
0 references
