Subscriber Authentication Point

EDPS Account

Volume 39 / No 3 (July-September 2005)

RAIRO - Theoretical Informatics and Applications

Volume 39 / No 3 (July-September 2005)

Foundations of Software Science and Computer Structures (FOSSECAS'04)

Export the citation of the selected articles Export
Select all

Free Access

Foreword

Preface p. 421

Igor Walukiewicz

Published online: 15 July 2005

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

Denotational aspects of untyped normalization by evaluation p. 423

Andrzej Filinski and Henning Korsholm Rohde

Published online: 15 July 2005

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

Distance desert automata and the star height problem p. 455

Daniel Kirsten

Published online: 15 July 2005

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

Adhesive and quasiadhesive categories p. 511

Stephen Lack and Paweł Sobociński

Published online: 15 July 2005

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

Polynomials over the reals in proofs of termination : from theory to practice p. 547

Salvador Lucas

Published online: 15 July 2005

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

Bisimulation on speed: Lower time bounds p. 587

Gerald Lüttgen and Walter Vogler

Published online: 15 July 2005

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