Automata and Logics over Signals (Q4907871)
From MaRDI portal
scientific article; zbMATH DE number 6138810
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Automata and Logics over Signals |
scientific article; zbMATH DE number 6138810 |
Statements
Automata and Logics over Signals (English)
0 references
26 February 2013
0 references
automata and logic
0 references
languages of finitely varying functions
0 references
monadic second-order logic
0 references
word languages
0 references
metric temporal logic
0 references
