41 search results - page 2 / 9 » csl 2008 |
CSL
2008
Springer
13 years 6 months ago
2008
Springer
CSL
2008
Springer
13 years 4 months ago
2008
Springer
ENTCS
2008
13 years 4 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
CSL
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
CSL
2008
Springer
13 years 6 months ago
2008
Springer
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...