On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing (Q3090822)
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 5945183
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On expressive powers of timed logics: comparing boundedness, non-punctuality, and deterministic freezing |
scientific article; zbMATH DE number 5945183 |
Statements
On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing (English)
0 references
2 September 2011
0 references
0 references
0.82974773645401
0 references
0.8242436051368713
0 references
0.8235074877738953
0 references
0.818004310131073
0 references
0.8157627582550049
0 references
