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

Sommaire

Logic and functional programming by retractions : operational semantics

Bellia, M.

p. 395-436

Catégories et langages de dot-depth un

Thérien, Denis

p. 437-445

Lower bounds on the complexity of real-time branching programs

Kriegel, Klaus ; Waack, Stephan

p. 447-459

Generalized cancellation-and-permutation properties, regular languages and supports of rational series

Jacob, Gérard

p. 461-486

On some packing problem related to dynamic storage allocation

Chrobak, Marek ; Ślusarek, Maciej

p. 487-499