Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
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 16 (1982)
Sommaire du
Fascicule no. 1
A note on the undecidability of contextfreeness
Albert, J.
p. 3-11
The separability of formal languages
Pinzani, R.
;
Sprugnoli, R.
p. 13-31
Description d'une classe de grammaires de graphes sans circuit
Cori, Marcel
p. 33-49
A new class of balanced search trees : half-balanced binary search tress
Olivié, H. J.
p. 51-71
Extended primitive recursive functions
Mentrasti, P.
;
Protasi, M.
p. 73-84
Sommaire du
Fascicule no. 2
In memoriam
Cori, Robert
p. 91-92
Langages algébriques et systèmes de réécriture rationnels
Chottin, Laurent
p. 93-112
Une preuve combinatoire de la rationalité d'une série génératrice associée aux arbres
Chottin, Laurent
;
Cori, Robert
p. 113-128
Indécidabilité de la condition IRS
Autebert, Jean-Michel
;
Beauquier, Joffroy
;
Boasson, Luc
;
Latteux, Michel
p. 129-138
Séries algébriques solutions d'équations linéaires avec opérateurs
Dulucq, Serge
p. 139-163
Topologies sur des espaces ordonnés
Betrema, J.
p. 165-182
Sommaire du
Fascicule no. 3
Repetitive strings are not context-free
Ross, Rockford
;
Winklmann, Karl
p. 191-199
A probabilistic analysis of a new satisfiability algorithm
Apolloni, B.
;
Di Gregorio, S.
p. 201-223
Modèles non déterministes de types abstraits
Lescanne, Pierre
p. 225-244
On simple matrix languages versus scattered context languages
Păun, Gheorghe
p. 245-253
Analysis of a class of graph partitioning problems
Bertolazzi, P.
;
Lucertini, M.
;
Marchetti Spaccamela, A.
p. 255-261
Algebraic complexity of path problems
Mahr, Bernd
p. 263-292
Sommaire du
Fascicule no. 4
On subword complexities of homomorphic images of languages
Ehrenfeucht, A.
;
Rozenberg, G.
p. 303-316
Une application des notions de centre et index rationnel à certains langages algébriques
Gabarro, J.
p. 317-330
Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems
Lescanne, Pierre
p. 331-347
Les modalités de la correction totale
Fariñas Del Cerro, Luis
p. 349-363
A game of composing binary relations
GoralČík, P.
;
Hedrlín, Z.
;
Koubek, V.
;
Ryšunková, J.
p. 365-369
Codes avec des mots infinis
Long Van, Do
p. 371-386
From
L
L
-regular to
L
L
(
1
)
grammars : transformations, covers and parsing
Nijholt, Anton
p. 387-406