Title of article

On modal mu-calculus and Büchi tree automata

Author/Authors

Roope Kaivola، نويسنده ,

Issue Information

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

Pages

6

From page

17

To page

22

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