Theories of -layered metric temporal structures: expressiveness and decidability (Q4238501)
From MaRDI portal
scientific article; zbMATH DE number 1271175
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Theories of -layered metric temporal structures: expressiveness and decidability |
scientific article; zbMATH DE number 1271175 |
Statements
Theories of -layered metric temporal structures: expressiveness and decidability (English)
0 references
30 March 1999
0 references
tree automata
0 references
metric temporal logics
0 references
decidability
0 references
layered temporal logics
0 references
time granularity
0 references
metric temporal structures
0 references
temporal layers
0 references
monadic second-order theory
0 references
