Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 27 (1993)
no. 6
Sommaire
Autonomous posets and quantales
Mascari, G. F.
;
Pucci, F.
p. 483-501
An imperative language based on distributive categories II
Khalil, Wafaa
;
Walters, R. F. C.
p. 503-522
Retrieving library functions by unifying types modulo linear isomorphism
Rittri, M.
p. 523-540
On the average number of registers needed to evaluate a special class of backtrack trees
Trier, U.
p. 541-554
A unified approach to control problems in discrete event processes
Bergeron, A.
p. 555-573