RAIRO - Theoretical Informatics and Applications (RAIRO: ITA)

Résultats de complétude pour des classes de types du système $\mathcal {AF}2$

Samir Farkh and Karim Nour

RAIRO-Theor. Inf. Appl., 31 6 (1997) 513-537

Published online: 01 February 2017

DOI: 10.1051/ita/1997310605131

Samir Farkh

Karim Nour

Articles written by ALL the selected authors (AND)

Articles written by ANY OF the selected authors (OR)