41 search results - page 3 / 9 » csl 2008 |
CSL
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
ETVC
2008
13 years 6 months ago
2008
s of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing Frank Nielsen Ecole Polytechnique, Palaiseau, France Sony CSL, Tokyo, Japan Abstract. We list the abstracts o...
CSL
2008
Springer
13 years 6 months ago
2008
Springer
We survey two basic techniques for showing that the monadic second-order theory of a structure is decidable. In the first approach, one deals with finite fragments of the theory (g...
CSL
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. This paper shows undecidability of type-checking and typeinference problems in domain-free typed lambda-calculi with existential types: a negation and conjunction fragmen...
CSL
2008
Springer
13 years 6 months ago
2008
Springer
We study the expressive power of the logics EF + F-1 , 2 and boolean combinations of 1 over ranked trees. In particular, we provide effective characterizations of those three logic...