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

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

Table of contents