مرکز منطقه ای اطلاع رساني علوم و فناوري - On modal mu-calculus and Büchi tree automata

Title of article :

On modal mu-calculus and Büchi tree automata

Author/Authors :

Roope Kaivola، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 1995

Pages :

From page :

To page :

Keywords :

Alternation , Formal languages , Biichi-automata , Modal mu-caIculus

Journal title :

Information Processing Letters

Serial Year :

1995

Journal title :

Information Processing Letters

Record number :

128231

Link To Document :