مرکز منطقه ای اطلاع رساني علوم و فناوري - The state complexity of 1: * L and its connection with temporal logic

Title of article :

The state complexity of 1: * L and its connection with temporal logic

Author/Authors :

Jean-Camille Birget، نويسنده ,

Issue Information :

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

Pages :

From page :

185

To page :

188

Keywords :

Temporal Logic , Formal languages , Finite automata , State complexity

Journal title :

Information Processing Letters

Serial Year :

1996

Journal title :

Information Processing Letters

Record number :

128482

Link To Document :