Subscriber Authentication Point

EDPS Account

Volume 38 / No 4 (October-December 2004)

RAIRO - Theoretical Informatics and Applications

Volume 38 / No 4 (October-December 2004)

Fixed Points in Computer Science (FICS'03)

Export the citation of the selected articles Export
Select all

Free Access

Foreword

Foreword p. 275

Zoltán Ésik and Igor Walukiewicz

Published online: 15 October 2004

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

Termination checking with types p. 277

Andreas Abel

Published online: 15 October 2004

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

Coproducts of Ideal Monads p. 321

Neil Ghani and Tarmo Uustalu

Published online: 15 October 2004

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

Comparing the succinctness of monadic query languages over finite trees p. 343

Martin Grohe and Nicole Schweikardt

Published online: 15 October 2004

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

An abstract monadic semantics for value recursion p. 375

Eugenio Moggi and Amr Sabry

Published online: 15 October 2004

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