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

Preface

Labella, Anna

p. vii

A fully equational proof of Parikh's theorem

Aceto, Luca ; Ésik, Zoltán ; Ingólfsdóttir, Anna

p. 129-153

Erkök, Levent ; Launchbury, John ; Moran, Andrew

p. 155-180

Feedback, trace and fixed-point semantics

Katis, P. ; Sabadini, Nicoletta ; Walters, Robert F. C.

p. 181-194

μ

Santocanale, Luigi

p. 195-227

Parcourir par