You are not logged in | Log in

PL /
EN

Journal: RAIRO-THEORETICAL INFORMATICS AND APPLICATIONS

Number of publications: 2

2013

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

Initiative of Excellence – Research University