Accueil
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Congrès
  • Livres
  • Notes de cours
  • Thèses
  • Auteurs
Parcourir les volumes
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Mots-clés
  • Plein texte
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Tome 9 (1975)

Sommaire du Fascicule no. R1


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

Sommaire du Fascicule no. R2


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

Sommaire du Fascicule no. R3


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
  • À propos
  • Aide
  • Mentions légales
  • Contact

Développé par

Soutenu par

 

Partenaire de