Subscriber Authentication Point

EDPS Account

Volume 46 / No 2 (April-June 2012)

RAIRO - Theoretical Informatics and Applications

Volume 46 / No 2 (April-June 2012)

12th Italian Conference on Theoretical Computer Science (ICTCS)

Export the citation of the selected articles Export
Select all

Free Access

Editorial

Foreword ICTCS 2010 special issue p. 201

Eugenio Moggi

Published online: 21 February 2012

DOI: https://doi.org/10.1051/ita/2012008

Formal Methods to Improve Public Administration Business Processes p. 203

Andrea Polini, Andrea Polzonetti and Barbara Re

Published online: 21 February 2012

DOI: https://doi.org/10.1051/ita/2012002

Equivalences and Congruences on Infinite Conway Games p. 231

Furio Honsell, Marina Lenisa and Rekha Redamalla

Published online: 02 March 2012

DOI: https://doi.org/10.1051/ita/2012001

A graphical representation of relational formulae with complementation p. 261

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

Published online: 27 February 2012

DOI: https://doi.org/10.1051/ita/2012003

Easy lambda-terms are not always simple p. 291

Alberto Carraro and Antonino Salibra

Published online: 23 February 2012

DOI: https://doi.org/10.1051/ita/2012005

On the size of transducers for bidirectional decoding of prefix codes p. 315

Laura Giambruno and Sabrina Mantaci

Published online: 23 February 2012

DOI: https://doi.org/10.1051/ita/2012006