The Topological Mu-Calculus: Completeness and Decidability.
| Autor: | BALTAG, ALEXANDRU1 thealexandrubaltag@gmail.com, BEZHANISHVILI, NICK1 N.Bezhanishvili@uva.nl, FERNÁNDEZ-DUQUE, DAVID2 fernandez-duque@ub.edu |
|---|---|
| Zdroj: | Journal of the ACM. Oct2023, Vol. 70 Issue 5, p1-38. 38p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|