مرکز منطقه ای اطلاع رساني علوم و فناوري - Note on winning positions on pushdown games with ω-regular conditions

Title of article :

Note on winning positions on pushdown games with ω-regular conditions

Author/Authors :

Olivier Serre، نويسنده ,

Issue Information :

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

Pages :

From page :

285

To page :

291

Keywords :

Automata , Games , Infinite graphs , Pushdown processes

Journal title :

Information Processing Letters

Serial Year :

2003

Journal title :

Information Processing Letters

Record number :

129672

Link To Document :