Samir Farkh

According to our database¹, Samir Farkh authored at least 3 papers between 1997 and 2003.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2003

Complete types in an extension of the system AF2.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2003

2001

Les types de données syntaxiques du système <i>F</i>.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2001

1997

Résultats de complétude pour des classes de types du système <i>AF</i>2.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 1997