Complexity of modal logics with Presburger constraints
| Autor: | Demri, Stéphane, Lugiez, Denis |
|---|---|
| Zdroj: | In Journal of Applied Logic 2010 8(3):233-252 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Demri, Stéphane, Lugiez, Denis |
|---|---|
| Zdroj: | In Journal of Applied Logic 2010 8(3):233-252 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect