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 46 (2012)
Issue no. 1
Table of Contents
Special issue dedicated to the thirteenth “Journées Montoises d'Informatique Théorique”
Durand, Fabien
;
Richomme, Gwénaël
p. 1
On abelian versions of critical factorization theorem
Avgustinovich, Sergey
;
Karhumäki, Juhani
;
Puzynina, Svetlana
p. 3-15
Fewest repetitions in infinite binary words
Badkobeh, Golnaz
;
Crochemore, Maxime
p. 17-31
An aperiodicity problem for multiwords
Bruyère, Véronique
;
Carton, Olivier
;
Decan, Alexandre
;
Gauwin, Olivier
;
Wijsen, Jef
p. 33-50
Multi-dimensional sets recognizable in all abstract numeration systems
Charlier, Émilie
;
Lacroix, Anne
;
Rampersad, Narad
p. 51-65
Three complexity functions
Ferenczi, Sébastien
;
Hubert, Pascal
p. 67-76
On automatic infinite permutations
Frid, Anna
;
Zamboni, Luca
p. 77-85
Rational base number systems for
p
-adic numbers
Frougny, Christiane
;
Klouda, Karel
p. 87-106
Morphisms preserving the set of words coding three interval exchange
Hejda, Tomáš
p. 107-122
Repetition thresholds for subdivided graphs and trees
Ochem, Pascal
;
Vaslet, Elise
p. 123-130
On the product of balanced sequences
Restivo, Antonio
;
Rosone, Giovanna
p. 131-145
On abelian repetition threshold
Samsonov, Alexey V.
;
Shur, Arseny M.
p. 147-163
Fixed points of endomorphisms of certain free products
Silva, Pedro V.
p. 165-179
On the structure of
(
-
ε
)
-integers
Steiner, Wolfgang
p. 181-200
Issue no. 2
Table of Contents
Foreword ICTCS 2010 special issue
Moggi, Eugenio
p. 201
Formal Methods to Improve Public Administration Business Processes
Polini, Andrea
;
Polzonetti, Andrea
;
Re, Barbara
p. 203-229
Equivalences and Congruences on Infinite Conway Games
Honsell, Furio
;
Lenisa, Marina
;
Redamalla, Rekha
p. 231-259
A graphical representation of relational formulae with complementation
Cantone, Domenico
;
Formisano, Andrea
;
Asmundo, Marianna Nicolosi
;
Omodeo, Eugenio Giovanni
p. 261-289
Easy lambda-terms are not always simple
Carraro, Alberto
;
Salibra, Antonino
p. 291-314
On the size of transducers for bidirectional decoding of prefix codes
Giambruno, Laura
;
Mantaci, Sabrina
p. 315-328
Issue no. 3
Table of Contents
Job shop scheduling with unit length tasks
Akveld, Meike
;
Bernhard, Raphael
p. 329-342
Linear spans of optimal sets of frequency hopping sequences
Juntao, Gao
;
Yupu, Hu
;
Xuelian, Li
p. 343-354
On the decidability of semigroup freeness
Cassaigne, Julien
;
Nicolas, Francois
p. 355-399
On the joint 2-adic complexity of binary multisequences
Zhao, Lu
;
Wen, Qiao-Yan
p. 401-412
Probabilistic operational semantics for the lambda calculus
Lago, Ugo Dal
;
Zorzi, Margherita
p. 413-450
Undecidability of infinite post correspondence problem for instances of size 8
Dong, Jing
;
Liu, Qinghui
p. 451-457
Issue no. 4
Table of Contents
Special Issue: Non-Classical Models of Automata and Applications III (NCMA-2011)
Freund, Rudolf
;
Holzer, Markus
;
Mereghetti, Carlo
;
Otto, Friedrich
;
Palano, Beatrice
p. 459-460
k
-counting automata
Allred, Joël
;
Ultes-Nitsche, Ulrich
p. 461-478
Regularity of languages defined by formal series with isolated cut point
Bertoni, Alberto
;
Bianchi, Maria Paola
;
D’Alessandro, Flavi
p. 479-493
Normal forms for unary probabilistic automata
Bianchi, Maria Paola
;
Pighizzini, Giovanni
p. 495-510
Affine Parikh automata
Cadilhac, Michaël
;
Finkel, Alain
;
McKenzie, Pierre
p. 511-545
Generating Networks of Splicing Processors
Dassow, Jürgen
;
Manea, Florin
;
Truthe, Bianca
p. 547-572
On biautomata
Klíma, Ondřej
;
Polák, Libor
p. 573-592
String Assembling Systems
Kutrib, Martin
;
Wendlandt, Matthias
p. 593-613
Superiority of one-way and realtime quantum machines
Yakaryılmaz, Abuzer
p. 615-641