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)

Issue no. R1 Table of Contents


Une double hiérarchie infinie de langages vérifiables
Rodriguez, François  
p. 5-19

Langages d'interprétation des schémas récursifs
Cousineau, F. G.; Rifflet, J.-M.
p. 21-42

Post grammars as a programming language description tool
Feautrier, Paul
p. 43-72

Issue no. R2 Table of Contents


A note on the recognition of one counter languages
Greibach, S. A.
p. 5-12

A pumping theorem for deterministic ETOL languages
Ehrenfeucht, A.;   Rozenberg, G.  
p. 13-23

Sur l'image, par une transduction rationnelle, des mots sur une lettre
Durieux, J. L.
p. 25-37

On some elementary properties of uniform automata
Valk, Rüdiger  
p. 39-54

Généralisation de la notion de langage à contexte libre. Application à l'analyse syntaxique de figures
Mohr, R.  
p. 55-88

Issue 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