Sommaire

Special issue dedicated to the thirteenth “Journées Montoises d'Informatique Théorique”

Durand, Fabien ; Richomme, Gwénaël

Access to full text
Full (PDF)
Full (DJVU)
p. 1

Numdam
Foreword ICTCS 2010 special issue

Moggi, Eugenio

Access to full text
Full (PDF)
Full (DJVU)
p. 201

Numdam
Job shop scheduling with unit length tasks

Akveld, Meike ; Bernhard, Raphael

Access to full text
Full (PDF)
Full (DJVU)
p. 329-342

Numdam
Special Issue: Non-Classical Models of Automata and Applications III (NCMA-2011)

Freund, Rudolf ; Holzer, Markus ; Mereghetti, Carlo ; Otto, Friedrich ; Palano, Beatrice

Access to full text
Full (PDF)
Full (DJVU)
p. 459-460

Numdam
On abelian versions of critical factorization theorem

Avgustinovich, Sergey ; Karhumäki, Juhani ; Puzynina, Svetlana

Access to full text
Full (PDF)
Full (DJVU)
p. 3-15

Numdam
Formal Methods to Improve Public Administration Business Processes

Polini, Andrea ; Polzonetti, Andrea ; Re, Barbara

Access to full text
Full (PDF)
Full (DJVU)
p. 203-229

Numdam
Linear spans of optimal sets of frequency hopping sequences

Juntao, Gao ; Yupu, Hu ; Xuelian, Li

Access to full text
Full (PDF)
Full (DJVU)
p. 343-354

Numdam
k-counting automata

Allred, Joël ; Ultes-Nitsche, Ulrich

Access to full text
Full (PDF)
Full (DJVU)
p. 461-478

Numdam
Fewest repetitions in infinite binary words

Badkobeh, Golnaz ; Crochemore, Maxime

Access to full text
Full (PDF)
Full (DJVU)
p. 17-31

Numdam
Equivalences and Congruences on Infinite Conway Games

Honsell, Furio ; Lenisa, Marina ; Redamalla, Rekha

Access to full text
Full (PDF)
Full (DJVU)
p. 231-259

Numdam
On the decidability of semigroup freeness

Cassaigne, Julien ; Nicolas, Francois

Access to full text
Full (PDF)
Full (DJVU)
p. 355-399

Numdam
Regularity of languages defined by formal series with isolated cut point

Bertoni, Alberto ; Bianchi, Maria Paola ; D’Alessandro, Flavi

Access to full text
Full (PDF)
Full (DJVU)
p. 479-493

Numdam
An aperiodicity problem for multiwords

Bruyère, Véronique ; Carton, Olivier ; Decan, Alexandre ; Gauwin, Olivier ; Wijsen, Jef

Access to full text
Full (PDF)
Full (DJVU)
p. 33-50

Numdam
A graphical representation of relational formulae with complementation

Cantone, Domenico ; Formisano, Andrea ; Asmundo, Marianna Nicolosi ; Omodeo, Eugenio Giovanni

Access to full text
Full (PDF)
Full (DJVU)
p. 261-289

Numdam
On the joint 2-adic complexity of binary multisequences

Zhao, Lu ; Wen, Qiao-Yan

Access to full text
Full (PDF)
Full (DJVU)
p. 401-412

Numdam
Normal forms for unary probabilistic automata

Bianchi, Maria Paola ; Pighizzini, Giovanni

Access to full text
Full (PDF)
Full (DJVU)
p. 495-510

Numdam
Multi-dimensional sets recognizable in all abstract numeration systems

Charlier, Émilie ; Lacroix, Anne ; Rampersad, Narad

Access to full text
Full (PDF)
Full (DJVU)
p. 51-65

Numdam
Easy lambda-terms are not always simple

Carraro, Alberto ; Salibra, Antonino

Access to full text
Full (PDF)
Full (DJVU)
p. 291-314

Numdam
Probabilistic operational semantics for the lambda calculus

Lago, Ugo Dal ; Zorzi, Margherita

Access to full text
Full (PDF)
Full (DJVU)
p. 413-450

Numdam
Affine Parikh automata

Cadilhac, Michaël ; Finkel, Alain ; McKenzie, Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 511-545

Numdam
Three complexity functions

Ferenczi, Sébastien ; Hubert, Pascal

Access to full text
Full (PDF)
Full (DJVU)
p. 67-76

Numdam
On the size of transducers for bidirectional decoding of prefix codes

Giambruno, Laura ; Mantaci, Sabrina

Access to full text
Full (PDF)
Full (DJVU)
p. 315-328

Numdam
Undecidability of infinite post correspondence problem for instances of size 8

Dong, Jing ; Liu, Qinghui

Access to full text
Full (PDF)
Full (DJVU)
p. 451-457

Numdam
Generating Networks of Splicing Processors

Dassow, Jürgen ; Manea, Florin ; Truthe, Bianca

Access to full text
Full (PDF)
Full (DJVU)
p. 547-572

Numdam
On automatic infinite permutations

Frid, Anna ; Zamboni, Luca

Access to full text
Full (PDF)
Full (DJVU)
p. 77-85

Numdam
On biautomata

Klíma, Ondřej ; Polák, Libor

Access to full text
Full (PDF)
Full (DJVU)
p. 573-592

Numdam
Rational base number systems for p-adic numbers

Frougny, Christiane ; Klouda, Karel

Access to full text
Full (PDF)
Full (DJVU)
p. 87-106

Numdam
String Assembling Systems

Kutrib, Martin ; Wendlandt, Matthias

Access to full text
Full (PDF)
Full (DJVU)
p. 593-613

Numdam
Morphisms preserving the set of words coding three interval exchange

Hejda, Tomáš

Access to full text
Full (PDF)
Full (DJVU)
p. 107-122

Numdam
Superiority of one-way and realtime quantum machines

Yakaryılmaz, Abuzer

Access to full text
Full (PDF)
Full (DJVU)
p. 615-641

Numdam
Repetition thresholds for subdivided graphs and trees

Ochem, Pascal ; Vaslet, Elise

Access to full text
Full (PDF)
Full (DJVU)
p. 123-130

Numdam
On the product of balanced sequences

Restivo, Antonio ; Rosone, Giovanna

Access to full text
Full (PDF)
Full (DJVU)
p. 131-145

Numdam
On abelian repetition threshold

Samsonov, Alexey V. ; Shur, Arseny M.

Access to full text
Full (PDF)
Full (DJVU)
p. 147-163

Numdam
Fixed points of endomorphisms of certain free products

Silva, Pedro V.

Access to full text
Full (PDF)
Full (DJVU)
p. 165-179

Numdam
On the structure of (-ε)-integers

Steiner, Wolfgang

Access to full text
Full (PDF)
Full (DJVU)
p. 181-200

Numdam