Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 34 (2000)
Issue no. 1
Table of Contents
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
Issue no. 2
Table of Contents
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
Issue no. 3
Table of Contents
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
Issue no. 4
Table of Contents
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
Issue no. 5
Table of Contents
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
Issue no. 6
Table of Contents
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