Geodesic

Volume 22 (1988) no. 4

Sommaire

Logic and functional programming by retractions : operational semantics
p. 395-436
Catégories et langages de dot-depth un
p. 437-445
Lower bounds on the complexity of real-time branching programs
p. 447-459
Generalized cancellation-and-permutation properties, regular languages and supports of rational series
p. 461-486
On some packing problem related to dynamic storage allocation
p. 487-499