RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 44 (2010) no. 4

Sommaire

Quantum coherent spaces and linear logic

Baratella, Stefano

p. 419-441

Sturmian jungle (or garden?) on multiliteral alphabets

Balková, L'ubomíra ; Pelantová, Edita ; Starosta, Štěpán

p. 443-470

Classes of two-dimensional languages and recognizability conditions

Anselmo, Marcella ; Madonia, Maria

p. 471-488

The code problem for directed figures

Kolarz, Michał

p. 489-506

Translation from classical two-way automata to pebble two-way automata

Geffert, Viliam ; Ištoňová, L'ubomíra

p. 507-523

A CAT algorithm for the exhaustive generation of ice piles

Massazza, Paolo ; Radicioni, Roberto

p. 525-543