Relating Paths in Transition Systems (Q4691742)
From MaRDI portal
scientific article; zbMATH DE number 6963795
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Relating Paths in Transition Systems |
scientific article; zbMATH DE number 6963795 |
Statements
Relating Paths in Transition Systems (English)
0 references
24 October 2018
0 references
expressiveness
0 references
imperfect information
0 references
monadic second-order logic
0 references
mu-calculus
0 references
transition systems
0 references
