Fundamenta Informaticae > 2004 > Vol. 61, nr 3,4 > 247--265
Źródło
Abstrakt
Identyfikatory
ISSN czasopisma : | 0169-2968 |
e-ISSN czasopisma : | 1875-8681 |
Słowa kluczowe
Informacje dodatkowe
Wydawca
Obszary wiedzy
Bibliografia
-
[1] Arnold, A.: The mu-calculus alternation-depth hierarchy over the binary tree is strict. Theoretical Informatics and Applications, 33, 1999, 329-339.
-
[2] Arnold, A., Niwiński, D.: Rudiments of mu-calculus. Studies in Logic and the Foundations of Mathematics vol. 146, North-Holland, 2001.
-
[3] Bradfield, J.: The modal mu-calculus alternation hierarchy is strict. Theoretical Comp. Science, 195, 1998, 133-153.