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 46 (2012)
Suivant
Sommaire du
Fascicule no. 1
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
Sommaire du
Fascicule no. 2
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
Sommaire du
Fascicule no. 3
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
Dal Lago, Ugo
;
Zorzi, Margherita
p. 413-450
Undecidability of infinite post correspondence problem for instances of size 8
Dong, Jing
;
Liu, Qinghui
p. 451-457
Sommaire du
Fascicule no. 4
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