2896 search results - page 186 / 580 » Curricula Modeling and Checking |
141
Voted
CORR
1999
Springer
15 years 4 months ago
1999
Springer
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
79
Voted
JOT
2002
15 years 4 months ago
2002
136
Voted
RE
2002
Springer
15 years 4 months ago
2002
Springer
TOIS
1998
15 years 4 months ago
1998