Geodesic

Sommaire du Fascicule no. 1

One quantifier alternation in first-order logic with modular predicates
p. 1-22
Exact location of the phase transition for random (1,2)-QSAT
p. 23-45
New bounds on the edge-bandwidth of triangular grids
p. 47-60
The finiteness problem for monoids of morphisms
p. 61-65
Further results on generalized conditional entropies
p. 67-92

Sommaire du Fascicule no. 2

Computing the 2-blocks of directed graphs
p. 93-119
An upper bound on the complexity of recognizable tree languages
p. 121-137
Towards using the history in online computation with advice
p. 139-152
Linear grammars with one-sided contexts and their automaton representation
p. 153-178

Sommaire du Fascicule no. 3

Optimal strategy synthesis for request-response games
p. 179-203
On language equations with concatenation and various sets of Boolean operations
p. 205-232
Reducing the gradedness problem of string rewriting systems to a termination problem
p. 233-254
Algorithm design and theoretical analysis of a novel CMM modular exponentiation algorithm for large integers
p. 255-268

Sommaire du Fascicule no. 4

Neighbor Isolated Tenacity of Graphs
p. 269-284
Analysis of a local search algorithm for the k-facility location problem
p. 285-306
Certificateless ring signature based on RSA problem and DL problem
p. 307-318