Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots-clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 19 (1985)
Sommaire du
Fascicule no. 1
Sur quelques limitations des algorithmes dans le traitement des suites
Delahaye, J.-P.
p. 3-20
Automates et commutations partielles
Cori, Robert
;
Perrin, Dominique
p. 21-32
Un interprète LISP de la programmation fonctionnelle réalisé par des combinateurs
Kantor, Raul
;
Sontacchi, Giovanna
p. 33-41
Strong iterative pairs and the regularity of context-free languages
Ehrenfeucht, A.
;
Rozenberg, G.
p. 43-56
Sur les groupes syntaxiques d'un langage
Rindone, Giuseppina
p. 57-70
Automates boustrophedon, semi-groupe de Birget et monoïde inversif libre
Pécuchet, J. P.
p. 71-100
Sommaire du
Fascicule no. 2
Réseaux systoliques pour des problèmes de mots
Robert, Yves
;
Tchuente, Maurice
p. 107-123
Non-générateurs algébriques et substitution
Boasson, L.
p. 125-136
Search trees and bubble memories
Flajolet, Philippe
;
Ottmann, Thomas
;
Wood, Derick
p. 137-164
Construction de codes indécomposables
Vincent, Max
p. 165-178
Un procédé itératif de dénombrement d'arbres binaires et son application à leur génération aléatoire
Rémy, Jean-Luc
p. 179-195
Sommaire du
Fascicule no. 3
On the equivalence of compositions of morphisms and inverse morphisms on regular languages
Karhumäki, J.
;
Kleijn, H. C. M.
p. 203-211
Algorithme de décomposition de clés
Pichat, E.
p. 213-232
Reduction algorithms for some classes of aperiodic monoids
König, Roman
p. 233-260
On temporal program verification rules
Kröger, F.
p. 261-280
Sur les semi-groupes vérifiant le théorème de Kleene
Reutenauer, Christophe
p. 281-291
A formalism for treating equivalence of recursive procedures
Pelin, Alex
p. 293-313
Sommaire du
Fascicule no. 4
Rebalancing operations for deletions in AVL-trees
Tsakalidis, Athanasios K.
p. 323-329
Sur la minimisation d'une expression représentant une famille de fonctions booléennes
Carvallo, Michel
p. 331-336
On a class of infinite words with bounded repetitions
Černý, Anton
p. 337-349
Automates de coût borné sur un alphabet à une lettre
Gohon, Philippe
p. 351-357
An algorithm for finding a minimal recursive path ordering
Aït-Kaci, Hassan
p. 359-382
Some results on finite maximal codes
De Felice, Clelia
;
Restivo, Antonio
p. 383-403