Subscriber Authentication Point

EDPS Account

Volume 14 / No 3 (1980)

Free Access to the whole issue

RAIRO. Informatique théorique

Volume 14 / No 3 (1980)

Export the citation of the selected articles Export
Select all

Free Access

Systèmes de déduction pour les arbres et les schémas de programmes (I) p. 247

P. Enjalbert

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140302471

Free Access

Computing of graphs of relations using generative grammars p. 279

Dan A. Simovici

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140302791

Free Access

Une généralisation de la théorie des types en $\lambda $-calcul (II) p. 301

Patrick Sallé

Published online: 01 February 2017

DOI: https://doi.org/10.1051/ita/1980140303011