41 search results - page 3 / 9 » csl 2008 |
CSL
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. We give a recursion-theoretic characterization of the complexity classes NCk
154
click to vote
ETVC
2008
14 years 11 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
14 years 11 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
14 years 10 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
14 years 11 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...