Jacques J. Arsac

Publication Activity (10 Years)

Years Active: 1962-1987
Publications (10 Years): 0

Publications

Jacques J. Arsac
Algorithmes pour Vérifier La Conjecture De Syracuse. RAIRO Theor. Informatics Appl. 21 (1) (1987)
Jacques J. Arsac
La Fonction D'ackermann: Un Nouveau Mode de Dérécursivation. RAIRO Theor. Informatics Appl. 20 (2) (1986)
Jacques J. Arsac, Yves Kodratoff
Some Techniques for Recursion Removal from Recursive Programs. ACM Trans. Program. Lang. Syst. 4 (2) (1982)
Jacques J. Arsac
Syntactic Source to Source Transforms and Program Manipulation. Commun. ACM 22 (1) (1979)
Jacques J. Arsac
Emploi de Méthodes Constructives en Programmation. Un Dossier: La Fonction d'Ackermann. RAIRO Theor. Informatics Appl. 11 (2) (1977)
Jacques J. Arsac
Langages sans Etiquettes et Transformations de Programmes. ICALP (1974)
Jacques J. Arsac
Recherche des solutions d'une équation de convolution. IFIP Congress (1962)