Bounded game-theoretic semantics for modal mu-calculus
| Autor: | Hella, Lauri, Kuusisto, Antti, Rönnholm, Raine |
|---|---|
| Zdroj: | In Information and Computation November 2022 289 Part B |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Hella, Lauri, Kuusisto, Antti, Rönnholm, Raine |
|---|---|
| Zdroj: | In Information and Computation November 2022 289 Part B |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect