RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) no. 3

Sommaire

Logic and functional programming by retractions

Bellia, M.

p. 271-310

A property of biprefix codes

Leonard, Martine

p. 311-318

Yield-languages recognized by alternating tree recognizers

Salomaa, Kai

p. 319-339

Proposal for a natural formalization of functional programming concepts

Bellot, Patrick ; Sarni, Djamil

p. 341-360

Deux propriétés combinatoires des nombres de Schröder

Gouyou-Beauchamps, Dominique ; Vauquelin, Bernard

p. 361-388