Geodesic

Volume 3 (1998-1999) no. 3

Sommaire

Partially persistent search trees with transcript operations
Local Normal Forms for First-Order Logic with Applications to Games and Automata
Applying a uniform marked morphism to a word
On the Structure of Valiant's Complexity Classes