Volume 46 (2012) no. 2

Table of contents

Foreword ICTCS 2010 special issue
p. 201
Formal Methods to Improve Public Administration Business Processes
p. 203-229
Equivalences and Congruences on Infinite Conway Games
p. 231-259
A graphical representation of relational formulae with complementation
p. 261-289
Easy lambda-terms are not always simple
p. 291-314
On the size of transducers for bidirectional decoding of prefix codes
p. 315-328