264 search results - page 9 / 53 » entcs 2008 |
ENTCS
2008
13 years 6 months ago
2008
We describe a parallel algorithm for solving parity games, with applications in, e.g., modal
ENTCS
2008
13 years 6 months ago
2008
System L is a linear version of G
ENTCS
2008
13 years 6 months ago
2008
ENTCS
2008
13 years 5 months ago
2008
In the recent past, the reduction-based and the model-based methods to prove cut elimination have converged, so that they now appear just as two sides of the same coin. This paper...
ENTCS
2008
13 years 6 months ago
2008
Coequations, which are subsets of a cofree coalgebra, can be viewed as properties of systems. In case of a polynomial functor, a logic of coequations was formulated by J. Ad