Sciweavers

16666 search results - page 27 / 3334
» Descriptive and Computational Complexity
Sort
View
CSL
2008
Springer
15 years 25 days ago
The Descriptive Complexity of Parity Games
We study the logical definablity of the winning regions of parity games. For games with a bounded number of priorities, it is wellknown that the winning regions are definable in th...
Anuj Dawar, Erich Grädel
JAR
2008
77views more  JAR 2008»
14 years 11 months ago
Data Complexity of Query Answering in Expressive Description Logics via Tableaux
Magdalena Ortiz, Diego Calvanese, Thomas Eiter
JALC
2007
57views more  JALC 2007»
14 years 11 months ago
Multi-dimensional Descriptional Complexity of P Systems
Miguel A. Gutiérrez-Naranjo, Mario J. P&eac...