مرکز منطقه ای اطلاع رساني علوم و فناوري - Automata can show PSpace results for description logics

Title of article :

Automata can show PSpace results for description logics

Author/Authors :

Franz Baader، نويسنده , , Jan Hladik، نويسنده , , Rafael Penaloza، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 2008

Pages :

From page :

1045

To page :

1056

Keywords :

Automata theoryDescription logicsComplexityPspace

Journal title :

Information and Computation

Serial Year :

2008

Journal title :

Information and Computation

Record number :

262495

Link To Document :