421 search results - page 21 / 85 » CSL |
CSL
2006
Springer
14 years 4 days ago
2006
Springer
Abstract. Bisimilarity and weak bisimilarity are canonical notions of equivalence between processes, which are defined co-inductively, but may be approached
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
CSL
2008
Springer
13 years 10 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...
CSL
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
CSL
2004
Springer
13 years 8 months ago
2004
Springer