Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Congrès
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots-clés
Plein texte
Précédent
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 34 (2000)
Suivant
Sommaire du
Fascicule no. 1
Succession rules and deco polyominoes
Barcucci, Elena
;
Brunetti, Sara
;
Del Ristoro, Francesco
p. 1-14
Encoding fix in object calculi
Crole, Roy L.
p. 15-38
Threshold circuits for iterated matrix product and powering
Mereghetti, Carlo
;
Palano, Beatrice
p. 39-46
On codes with finite interpreting delay : a defect theorem
Guesnet, Yannick
p. 47-59
Construction of very hard functions for multiparty communication complexity
Maňuch, Ján
p. 61-75
A characterization of poly-slender context-free languages
Ilie, Lucian
;
Rozenberg, Grzegorz
;
Salomaa, Arto
p. 77-86
Sommaire du
Fascicule no. 2
Perfect matching in general vs. cubic graphs : a note on the planar and bipartite cases
Bampis, E.
;
Giannakos, A.
;
Karzanov, A.
;
Manoussakis, Y.
;
Milis, I.
p. 87-97
Iteration of rational transductions
Terlutte, Alain
;
Simplot, David
p. 99-129
Three generators for minimal writing-space computations
Burckel, Serge
;
Morillon, Marianne
p. 131-138
Asynchronous sliding block maps
Béal, Marie-Pierre
;
Carton, Olivier
p. 139-156
On the decidability of the equivalence problem for monadic recursive programs
Zakharov, Vladimir A.
p. 157-171
Sommaire du
Fascicule no. 3
Approximation algorithms for the traveling salesman problem with range condition
Arun Kumar, D.
;
Pandu Rangan, C.
p. 173-181
Closure under union and composition of iterated rational transductions
Simplot, D.
;
Terlutte, A.
p. 183-212
Improved lower bounds on the approximability of the traveling salesman problem
Böckenhauer, Hans-Joachim
;
Seibert, Sebastian
p. 213-255
Sommaire du
Fascicule no. 4
Computing
ε
-free NFA from regular expressions in
O
(
n
log
2
(
n
)
)
time
Hagenah, Christian
;
Muscholl, Anca
p. 257-277
On the Horton-Strahler number for combinatorial tries
Nebel, Markus E.
p. 279-296
A Kleene-Schützenberger theorem for Lindenmayerian rational power series
Honkala, Juha
p. 297-305
Semi-commutations and partial commutations
Clerbout, M.
;
Roos, Y.
;
Ryl, I.
p. 307-330
Sommaire du
Fascicule no. 5
A lower bound for reversible automata
Héam, Pierre-Cyrille
p. 331-341
Return words in sturmian and episturmian words
Justin, Jacques
;
Vuillon, Laurent
p. 343-356
A space lower bound for acceptance by one-way
Π
2
-alternating machines
Geffert, Viliam
;
Popély, Norbert
p. 357-372
On a paper by Castelli, Mignosi, Restivo
Justin, Jacques
p. 373-377
Local transition functions of quantum Turing machines
Ozawa, Masanao
;
Nishimura, Harumichi
p. 379-402
Complexité et automates cellulaires linéaires
Berthé, Valérie
p. 403-423
Sommaire du
Fascicule no. 6
Finite presentability of strongly finite dilators
Takaki, Osamu
p. 425-431
Domain-free
λ
μ
-calculus
Fujita, Ken-Etsu
p. 433-466
Two-variable word equations
Ilie, Lucian
;
Plandowski, Wojciech
p. 467-501
Computing the prefix of an automaton
Béal, Marie-Pierre
;
Carton, Olivier
p. 503-514
Cutwidth of the
r
-dimensional mesh of
d
-ary trees
Vrťo, Imrich
p. 515-519
Galois lattice as a framework to specify building class hierarchies algorithms
Huchard, M.
;
Dicky, H.
;
Leblanc, H.
p. 521-548
A compositional approach to synchronize two dimensional networks of processors
La Torre, Salvatore
;
Napoli, Margherita
;
Parente, Mimmo
p. 549-564
Characteristic formulae for timed automata
Aceto, Luca
;
Ingólfsdóttir, Anna
;
Pedersen, Mikkel Lykke
;
Poulsen, Jan
p. 565-584
Codes générateurs minimaux de langages de mots bi-infinis
Devolder, Jeanne
p. 585-596