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

Parcourir par

Geodesic