Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 16 (1982)
Issue no. 1
Table of Contents
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
Issue no. 2
Table of Contents
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
Issue no. 3
Table of Contents
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
Issue no. 4
Table of Contents
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