Home
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
Browse issues
  • All
  • Author
  • Title
  • References
  • Full text
Between and
  • 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
  • Accessibility: not compliant
  • About
  • Help
  • Legal notice
  • Contact

Published by

Supported by

 

Partner of