2 results
A general framework for the derivation of regular expressions
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 48 / Issue 3 / July 2014
- Published online by Cambridge University Press:
- 27 May 2014, pp. 281-305
- Print publication:
- July 2014
-
- Article
- Export citation
The μ-calculus alternation-depth hierarchy is strict on binary trees
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 33 / Issue 4-5 / July 1999
- Published online by Cambridge University Press:
- 15 August 2002, pp. 329-339
- Print publication:
- July 1999
-
- Article
- Export citation