Tome 31 (1997) no. 3

Sommaire

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini
p. 205-236
On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups
p. 237-250
Skip trees, an alternative data structure to skip lists in a concurrent approach
p. 251-269
Decimations and sturmian words
p. 271-290
Polynomial size test sets for commutative languages
p. 291-304