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

Table of contents

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