Back to the list of the institutes
Publications
Journal: RAIRO - Theoretical Informatics and Applications
Number of publications: 22013
- Paweł Parys , Some results on complexity of µ-calculus evaluation in the black-box model, RAIRO - Theoretical Informatics and Applications, 47 (1) 2013, p. 97-109. See in PBN
2000
- L. Ilie, Wojciech Plandowski , Two-Variable Word Equations, RAIRO - Theoretical Informatics and Applications, 2000. See in PBN