. . "Polynomial Decomposition Algorithms"@fr . . "Automata and computability"@fr . . . . . . . . ""@fr . "B"@fr . . . "22"^^ . . . "Handbook of Theoretical Computer Science"@fr . . "1983"^^ . "1981"^^ . "28"^^ . . . "1976"^^ . "D. M. Gabbay, F. Guenther"@fr . "Dexter Kozen"@de . "27"^^ . "4"^^ . "7"^^ . . "Cambridge, Londres"@fr . . "6644"^^ . . "Undergraduate texts in computer science"@fr . . "14"^^ . . "Proc. Math. Found. Comput. Sci."@fr . "Semantics of probabilistic programs"@fr . "Kluwer"@fr . . . "An elementary proof of the completeness of PDL"@fr . . . . . "452"^^ . "26"^^ . . "182661367"^^ . "Dexter Campbell Kozen (n\u00E9 le 20 d\u00E9cembre 1951) est un informaticien th\u00E9oricien am\u00E9ricain. Il travaille en th\u00E9orie de la complexit\u00E9, plus particuli\u00E8rement sur des probl\u00E8mes de d\u00E9cision en alg\u00E8bre et en logique, en s\u00E9mantique des langages de programmation et en s\u00E9curit\u00E9 informatique."@fr . . "789"^^ . "B. Rovan"@fr . . "J. van Leeuwen"@fr . . . . . . . "Dexter Campbell Kozen (n\u00E9 le 20 d\u00E9cembre 1951) est un informaticien th\u00E9oricien am\u00E9ricain. Il travaille en th\u00E9orie de la complexit\u00E9, plus particuli\u00E8rement sur des probl\u00E8mes de d\u00E9cision en alg\u00E8bre et en logique, en s\u00E9mantique des langages de programmation et en s\u00E9curit\u00E9 informatique."@fr . . . . . "Alternation"@fr . . . . "333"^^ . . "328"^^ . . . "The MIT Press"@fr . . "Londres"@fr . "Handbook of Philosophical Logic"@fr . . "Results on the Propositional \u03BC-Calculus"@fr . . . . . "89"^^ . . . . . . . . "xiii +400"@fr . "en"@fr . "Logics of programs"@fr . . "Springer"@fr . "Theoretical Computer Science"@fr . . . "de"@fr . "114"^^ . . "x+320"@fr . "978"^^ . "Dynamic Logic"@fr . "Dynamic Logic"@fr . "99"^^ . . . . . . . . . . . "445"^^ . . "0"^^ . . "Texts and Monographs in Computer Science"@fr . . . "J. Comp. Syst. Sci."@fr . . "Texts in Computer Science"@fr . "David Harel"@fr . . . . . . . . . "Journal of Symbolic Computation"@fr . . . . "Proc. 17. Symp. Found. Comput. Sci."@fr . . . "Dexter Kozen"@fr . "Foundation of Computing"@fr . . . . . . . "On Kleene algebras and closed semirings"@fr . . "On parallelism in Turing machines"@fr . "Journal of the ACM"@fr . . . . "Lecture Notes in Computer Science"@fr . . "1990"^^ . . "1989"^^ . . . . "xiii+419"@fr . "1951-12-20"^^ . . "1997"^^ . . "1992"^^ . "2006"^^ . . . . . . . "Design and Analysis of Algorithms"@fr . . "2002"^^ . "2000"^^ . . "North Holland"@fr . "Theory of Computation"@fr . . "9766729"^^ . .