RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 46 (2012) no. 2

Sommaire

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