Subscriber Authentication Point

EDPS Account

Volume 33 / No 4-5 (July October 1999)

RAIRO - Theoretical Informatics and Applications

Volume 33 / No 4-5 (July October 1999)

Export the citation of the selected articles Export
Select all

Monotone (co)inductive types and positive fixed-point types p. 309

Ralph Matthes

Published online: 15 August 2002

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

The μ-calculus alternation-depth hierarchy is strict on binary trees p. 329

André Arnold

Published online: 15 August 2002

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

Fixpoint alternation: arithmetic, transition systems, and the binary tree p. 341

J. C. Bradfield

Published online: 15 August 2002

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

Topologies, Continuity and Bisimulations p. 357

J. M. Davoren

Published online: 15 August 2002

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

A Note on Negative Tagging for Least Fixed-Point Formulae p. 383

Dilian Gurov and Bruce Kapron

Published online: 15 August 2002

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

A note on Coinduction and Weak Bisimilarity for While Programs p. 393

J. J.M.M. Rutten

Published online: 15 August 2002

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

Final Dialgebras: From Categories to Allegories p. 401

Roland Backhouse and Paul Hoogendijk

Published online: 15 August 2002

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

On Distributive Fixed-Point Expressions p. 427

Helmut Seidl and Damian Niwiński

Published online: 15 August 2002

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

A Finite Axiomatization of Nondeterministic Regular Expressions p. 447

Flavio Corradini, Rocco De Nicola and Anna Labella

Published online: 15 August 2002

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

Rewriting on cyclic structures: Equivalence between the operational and the categorical description p. 467

Andrea Corradini and Fabio Gadducci

Published online: 15 August 2002

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