GEODESIC
Revues
Séminaires
Livres
Congrès
Sources
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