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