Subscriber Authentication Point

EDPS Account

Volume 41 / No 2 (April-June 2007)

RAIRO - Theoretical Informatics and Applications

Volume 41 / No 2 (April-June 2007)

Export the citation of the selected articles Export
Select all

Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers p. 123

Ondřej Turek

Published online: 18 July 2007

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

Returning and non-returning parallel communicating finite automata are equivalent p. 137

Ashish Choudhary, Kamala Krithivasan and Victor Mitrana

Published online: 18 July 2007

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

An algorithm for deciding if a polyomino tiles the plane p. 147

Ian Gambini and Laurent Vuillon

Published online: 18 July 2007

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

Sequential monotonicity for restarting automata p. 157

Tomasz Jurdziński and Friedrich Otto

Published online: 18 July 2007

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

Three notes on the complexity of model checking fixpoint logic with chop p. 177

Martin Lange

Published online: 18 July 2007

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

Object oriented institutions to specify symbolic computation systems p. 191

César Domínguez, Laureano Lambán and Julio Rubio

Published online: 18 July 2007

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

A periodicity property of iterated morphisms p. 215

Juha Honkala

Published online: 18 July 2007

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

Deciding inclusion of set constants over infinite non-strict data structures p. 225

Manfred Schmidt-Schauss, David Sabel and Marko Schütz

Published online: 18 July 2007

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