CSR
2010
Springer
13 years 8 months ago
2010
Springer
CSR
2010
Springer
13 years 8 months ago
2010
Springer
CSR
2010
Springer
13 years 9 months ago
2010
Springer
CSR
2010
Springer
13 years 11 months ago
2010
Springer
CSR
2010
Springer
14 years 2 months ago
2010
Springer
We introduce the notion of sofic tree-shifts which corresponds to symbolic dynamical systems of infinite trees accepted by finite tree automata. We show that, contrary to shifts of...
CSR
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The Hamiltonian cycle problem (HCP) is an important combinatorial problem with applications in many areas. While thorough theoretical and experimental analyses have been ...
CSR
2010
Springer
14 years 2 months ago
2010
Springer
We study one-head machines through symbolic and topological dynamics. In particular, a subshift is associated to the subshift, and we are interested in its complexity in terms of r...
CSR
2010
Springer
14 years 3 months ago
2010
Springer
We show that a logical framework, based around a fragment of existential second-order logic formerly proposed by others so as to capture the class of polynomially-bounded P-optimi...
CSR
2010
Springer
14 years 3 months ago
2010
Springer
In this paper, we study turn-based quantitative multiplayer non zero-sum games played on finite graphs with reachability objectives. In this framework each player aims at reaching...
CSR
2010
Springer
14 years 3 months ago
2010
Springer
