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 PDF (172.3 KB)References
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 PDF (116.7 KB)References
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 PDF (138.9 KB)References
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 PDF (239.4 KB)References
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 PDF (189.1 KB)References
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 PDF (272.6 KB)References
A periodicity property of iterated morphisms p. 215 Juha Honkala Published online: 18 July 2007 DOI: https://doi.org/10.1051/ita:2007016 PDF (129.3 KB)References
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 PDF (211.0 KB)References