Title of article :
Closure properties and decision problems of dag automata
Author/Authors :
Siva Anantharaman، نويسنده , , Paliath Narendran، نويسنده , , Michaël Rusinowitch، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2005
Pages :
10
From page :
231
To page :
240
Keywords :
Tree automata , complementation , Determinism , Emptiness problem , formal languages , Universality problem
Journal title :
Information Processing Letters
Serial Year :
2005
Journal title :
Information Processing Letters
Record number :
130087
Link To Document :
https://search.isc.ac/dl/search/defaultta.aspx?DTC=10&DC=130087
بازگشت