Tome 31 (1997) no. 5

Sommaire

Négation constructive et axiomatique interne
p. 411-428
On the difficulty of finding walks of length k
p. 429-435
Accurate computation of the relative entropy between stochastic regular grammars
p. 437-444
Languages obtained from infinite words
p. 445-455
The pseudovariety J is hyperdecidable
p. 457-482
An analysis of Lambek's production machines
p. 483-497