Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Conferences
Books
Lecture notes
Theses
Authors
Browse issues
All
All
Author
Title
References
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO. Theoretical Informatics and Applications
Volume 9 (1975)
no. R3
Volume 9 (1975) no. R3
Table of contents
Limiting recursion and the arithmetic hierarchy
Criscuolo, G.
;
Minicozzi, E.
;
Trautteur, G.
p. 5-12
Deux propriétés combinatoires du langage de Lukasiewicz
Gouyou-Beauchamps, D.
p. 13-24
Note sur l'algèbre des fonctions
Raymond, F. H.
p. 25-49
Sur les TOL - Systèmes unaires
Latteux, Michel
p. 51-62