Local Variable Scoping and Kleene Algebra with Tests - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kamal Aboul-Hosn, Dexter Kozen. Local Variable Scoping and Kleene Algebra with Tests. In Renate A. Schmidt, editor, Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proce. Volume 4136 of Lecture Notes in Computer Science, pages 78-90, Springer, 2006. [doi]

This author has not been identified. Look up 'Kamal Aboul-Hosn' in GoogleThis author has not been identified. Look up 'Dexter Kozen' in Google

runs on WebDSL