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 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
⊕
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