Journal: Theory Comput. Syst.

Volume 40, Issue 3

205 -- 223Peter J. Grabner, Michel Rigo. Distribution of Additive Functions with Respect to Numeration Systems on Regular Languages
225 -- 247Euripides Markou, Andrzej Pelc. Efficient Exploration of Faulty Trees
249 -- 262Thomas Hofmeister, Uwe Schöning, Rainer Schuler, Osamu Watanabe. Randomized Algorithms for 3-SAT
263 -- 297Ondrej Klíma, Pascal Tesson, Denis Thérien. Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups