RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 31 (1997) no. 5

Sommaire

Négation constructive et axiomatique interne

Blanc, G. ; Liogier, K.

p. 411-428

Basagni, S. ; Bruschi, D. ; Ravasio, F.

p. 429-435

Carrasco, R. C.

p. 437-444

Languages obtained from infinite words

Harju, T. ; Ilie, L.

p. 445-455

The pseudovariety

J

Almeida, J. ; Zeitoun, M.

p. 457-482

An analysis of Lambek's production machines

Pucella, R. R.

p. 483-497