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 24 (1990)
Sommaire du
Fascicule no. 1
Tours de Hanoï et automates
Allouche, J.-P.
;
Dress, F.
p. 1-15
Pour en finir avec la dérécursivation du problème des tours de Hanoï
Fournier, J.-C.
p. 17-35
Inevitability in diamond processes
Ochmanski, Edward
;
Penczek, Wojciech
p. 37-46
Two-way automaton computations
Birget, Jean-Camille
p. 47-66
Bi-infinitary codes
Do Long Van
;
Thomas, D. G.
;
Subramanian, K. G.
;
Siromoney, Rani
p. 67-87
The structure of index sets and reduced indexed grammars
Parchmann, R.
;
Duske, J.
p. 89-104
Sommaire du
Fascicule no. 2
Solving word equations
Abdulrab, Habib
p. 109-130
Parallélisation sémantique
Jouvelot, P.
;
Feautrier, P.
p. 131-159
Résolution du problème de l'ellipse et du cercle par l'algorithme de Hörmander
Paugam, Annette
p. 161-188
A partially persistent data structure for the set-union problem
Gaibisso, C.
;
Gambosi, G.
;
Talamo, M.
p. 189-202
Sommaire du
Fascicule no. 3
A combinatorial theorem on
p
-power-free words and an application to semigroups
de Luca, Aldo
;
Varricchio, Stefano
p. 205-228
A note on separating the relativized polynomial time hierarchy by immune sets
Ko, Ker-I
p. 229-240
Epsilon weak precedence grammars and languages
Milani, Masoud T.
;
Workman, David A.
p. 241-266
Complexity of boundary graph languages
Engelfriet, Joost
;
Leih, George
p. 267-274
Context-free languages with rational index in
Θ
(
n
γ
)
for algebraic numbers
γ
Pierre, Laurent
;
Farinone, Jean-Marc
p. 275-322
Sommaire du
Fascicule no. 4
Loops in automata and HDTOL relations
Culik II, Karel
;
Karhumäki, Juhani
p. 327-337
Graphes canoniques de graphes algébriques
Caucal, Didier
p. 339-352
Parallélisation d'algorithmes avec un nombre fixe de processeurs
Delporte-Gallet, C.
;
Fauconnier, H.
;
Nivat, M.
p. 353-386
Factorisation sur
ℤ
[
X
]
des polynômes de degré élevé à l’aide d’un monomorphisme
Viry, Guy
p. 387-407
Complete subgraphs of bipartite graphs and applications to trace languages
Guaiana, G.
;
Restivo, A.
;
Salemi, S.
p. 409-417
Une remarque sur les systèmes complets d'identités rationnelles
Boffa, Maurice
p. 419-423
Sommaire du
Fascicule no. 5
On algebraic specifications of computable algebras with the discriminator technique
Gagliardi, G.
;
Tulipani, S.
p. 429-440
On a class of infinitary codes
Nguyen Huong Lâm
;
Do Long Van
p. 441-458
Elementariness of a finite set of words is co-NP-complete
Neraud, Jean
p. 459-470
On geometric automata which can nondeterministically choose auxiliary points
Huckenbeck, Ulrich
p. 471-487
Comparison of basic language generating devices (non-deterministic systems)
Kudlek, Manfred
p. 489-508
Sommaire du
Fascicule no. 6
Partially abelian squarefree words
Cori, Robert
;
Formisano, Maria Rosaria
p. 509-520
On dot-depth two
Blanchet-Sadri, F.
p. 521-529
Speeding up the computations on an elliptic curve using addition-subtraction chains
Morain, François
;
Olivos, Jorge
p. 531-543
Saturating right congruences
Le Saec, Bertrand
p. 545-559
Spécialisation de la suite de Sturm et sous-résultants (I)
González-Vega, L.
;
Lombardi, H.
;
Recio, T.
;
Roy, M.-F.
p. 561-588