Publikacje

Czasopismo: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

2013

• Paweł Parys , Some results on complexity of µ-calculus evaluation in the black-box model, RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 47 (1) 2013, s. 97-109. Zobacz w PBN

2000

• L. Ilie, Wojciech Plandowski , Two-Variable Word Equations, RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS, 2000. Zobacz w PBN