Free Access to the whole issue
RAIRO - Theoretical Informatics and Applications
Volume 27 / No 6 (1993)
Free Access
An imperative language based on distributive categories II p. 503
Published online: 01 February 2017
Free Access
Retrieving library functions by unifying types modulo linear isomorphism p. 523
Published online: 01 February 2017
Free Access
On the average number of registers needed to evaluate a special class of backtrack trees p. 541
Published online: 01 February 2017
Free Access
A unified approach to control problems in discrete event processes p. 555
Published online: 01 February 2017