421 search results - page 21 / 85 » CSL |
CSL
2006
Springer
15 years 3 months 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
15 years 1 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
CSL
2008
Springer
15 years 1 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
15 years 1 months ago
2008
Springer
Abstract. Since Parigot's seminal article on an algorithmic interpretation of classical natural deduction [13],
CSL
2004
Springer
14 years 11 months ago
2004
Springer