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

Table of contents

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