RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 26 (1992)

Sommaire du Fascicule no. 1

The limiting common distribution of two leaf heights in a random binary tree

Gutjahr, W. ; Pflug, G. Ch.

p. 1-18

Normalization of place/transition-systems preserves net behaviour

Pelz, E.

p. 19-44

Rebootable and suffix-closed

ω

-power languages

Le Saëc, B. ; Litovsky, I.

p. 45-58

Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle

Berline, C.

p. 59-91

Indexed counter languages

Duske, J. ; Middendorf, M. ; Parchmann, R.

p. 93-113

Sommaire du Fascicule no. 2

TTL : a formalism to describe local and global properties of distributed systems

Masini, A. ; Maggiolo-Schettini, A.

p. 115-149

Crossability of cancellative Kleene semigroups

Rupert, C. P.

p. 151-161

On a tree collision resolution algorithm in presence of capture

Schmid, U.

p. 163-197

Sommaire du Fascicule no. 3

Repetitions in the Fibonacci infinite word

Mignosi, F. ; Pirillo, G.

p. 199-204

Une bijection entre les polyominos convexes dirigés et les mots de Dyck bilatères

Bousquet-Mélou, M.

p. 205-219

Algèbres effectives dans la programmation logique avec contraintes

Blanc, G. ; Bleuzen-Guernalec, N.

p. 221-242

Compositional representation of rational functions

Harju, T. ; Kleijn, H. C. M. ; Latteux, M.

p. 243-255

The monadic second-order logic of graphs III : tree-decompositions, minors and complexity issues

Courcelle, B.

p. 257-286

Caractérisation results about

L

codes

Honkala, J. ; Salomaa, A.

p. 287-301

Sommaire du Fascicule no. 4

Enumeration of bordered words, le langage de la vache-qui-rit

Régnier, M.

p. 303-317

Mots infinis et produits de matrices a coefficients polynomiaux

Wen, Z.-X. ; Wen, Z.-Y.

p. 319-343

Separating complexity classes related to certain input oblivious logarithmic space-bounded Turing machines

Krause, M. ; Meinel, Ch. ; Waack, St.

p. 345-362

Finitary codes for biinfinite words

Devolder, J. ; Timmerman, E.

p. 363-386

Sommaire du Fascicule no. 5

Enumerating Davenport-Schinzel sequences

Gardy, D. ; Gouyou-Beauchamps, D.

p. 387-402

Compositional characterization of observable program properties

Steffen, B. ; Barry Jay, C. ; Mendler, M.

p. 403-424

The local catenativity of DOL-sequences in free commutative monoids is decidable in the binary case

Lambert, J. L.

p. 425-437

Open shop scheduling with delays

Rayward-Smith, V. J. ; Rebaine, D.

p. 439-447

Une extension d'un théorème de P. Jullien sur les âges de mots

Kabil, M. ; Pouzet, M.

p. 449-482

Sommaire du Fascicule no. 6

Algorithme de multiplicativité des sommes de carrés

Simon, Odile

p. 485-506

Separating

\oplus L

from

L, N L,

co-

N L

, and

A L = P

for oblivious Turing machines of linear access

Krause, Matthias

p. 507-522

On the automorphism group of a toroidal hypermap

Cacciari, Leo

p. 523-540

Parties reconnaissables de monoïdes définis par générateurs et relations

Lacaze, Jacqueline

p. 541-552

Sur le produit avec compteur modulo un nombre premier

Péladeau, Pierre

p. 553-564

On coding morphisms for zigzag codes

Do Long Van ; Le Saëc, Bertrand ; Litovsky, Igor

p. 565-580

Parcourir par

Geodesic