1991 |
9 | | Jacques J. Arsac:
Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications) - RIAO 1991, 3rd International Conference, Universitad Autonoma de Barcelona, Spain, April 2 - May 5, 1991. Proceedings
CID 1991 |
1987 |
8 | | Jacques J. Arsac:
Algorithmes pour Vérifier La Conjecture De Syracuse.
ITA 21(1): 3-9 (1987) |
1986 |
7 | | Jacques J. Arsac:
La Fonction D'ackermann: Un Nouveau Mode de Dérécursivation.
ITA 20(2): 149-156 (1986) |
1985 |
6 | | Jacques J. Arsac:
Computer-Assisted Information Retrieval (Recherche d'Information et ses Applications) - RIAO 1985, 1st International Conference, University of Grenoble, France, March 18-20, 1985. Proceedings
CID 1985 |
1982 |
5 | EE | Jacques J. Arsac,
Yves Kodratoff:
Some Techniques for Recursion Removal from Recursive Programs.
ACM Trans. Program. Lang. Syst. 4(2): 295-322 (1982) |
1979 |
4 | | Jacques J. Arsac:
Syntactic Source to Source Transforms and Program Manipulation.
Commun. ACM 22(1): 43-54 (1979) |
1977 |
3 | | Jacques J. Arsac:
Emploi de Méthodes Constructives en Programmation. Un Dossier: La Fonction d'Ackermann.
ITA 11(2): 91-112 (1977) |
1974 |
2 | | Jacques J. Arsac:
Langages sans Etiquettes et Transformations de Programmes.
ICALP 1974: 112-128 |
1962 |
1 | | Jacques J. Arsac:
Recherche des solutions d'une équation de convolution.
IFIP Congress 1962: 163-168 |