Tome 33 (1999) no. 3

Sommaire

Unavoidable set : extension and reduction
p. 213-225
Normalisation of the theory 𝐓 of Cartesian closed categories and conservativity of extensions mathbfT[x] of mathbfT
p. 227-257
On existentially first-order definable languages and their relation to NP
p. 259-269
There is no complete axiom system for shuffle expressions
p. 271-277
Non-looping string rewriting
p. 279-301
Lower space bounds for accepting shuffle languages
p. 303-307