Search Sciweavers | Sciweavers

16666 search results - page 27 / 3334

» Descriptive and Computational Complexity

126

Voted

CSL
2008
Springer

140views Automated Reasoning» more CSL 2008»

The Descriptive Complexity of Parity Games

15 years 5 months ago

Download www.logic.rwth-aachen.de

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

claim paper

Read More »

106

click to vote

COLING
1990

89views Computational Linguistics» more COLING 1990»

Complex Features in Description of Chinese Language

15 years 4 months ago

Download acl.ldc.upenn.edu

Feng Zhiwei

claim paper

Read More »

113

click to vote

JAR
2008

77views more JAR 2008»

Data Complexity of Query Answering in Expressive Description Logics via Tableaux

15 years 3 months ago

Download www.inf.unibz.it

Magdalena Ortiz, Diego Calvanese, Thomas Eiter

claim paper

Read More »

102

click to vote

JALC
2007

57views more JALC 2007»

Multi-dimensional Descriptional Complexity of P Systems

15 years 3 months ago

Download www.cs.us.es

Miguel A. Gutiérrez-Naranjo, Mario J. P&eac...

claim paper

Read More »

106

click to vote

MST
2007

93views more MST 2007»

The Complexity of the Descriptiveness of Boolean Circuits over Different Sets of Gates

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers