Sommaire

Foreword

Brattka, Vasco ; Frougny, Christiane ; Mueller, Norbert

Access to full text
Full (PDF)
Full (DJVU)
p. 1-2

Numdam
Balance properties of the fixed point of the substitution associated to quadratic simple Pisot numbers

Turek, Ondřej

Access to full text
Full (PDF)
Full (DJVU)
p. 123-135

Numdam
Decidability of code properties

Fernau, Henning ; Reinhardt, Klaus ; Staiger, Ludwig

Access to full text
Full (PDF)
Full (DJVU)
p. 243-259

Numdam
Learning tree languages from text

Fernau, Henning

Access to full text
Full (PDF)
Full (DJVU)
p. 351-374

Numdam
On the hierarchies of Δ 2 0 -real numbers

Zheng, Xizhong

Access to full text
Full (PDF)
Full (DJVU)
p. 3-25

Numdam
Returning and non-returning parallel communicating finite automata are equivalent

Choudhary, Ashish ; Krithivasan, Kamala ; Mitrana, Victor

Access to full text
Full (PDF)
Full (DJVU)
p. 137-145

Numdam
An upper bound for transforming self-verifying automata into deterministic ones

Assent, Ira ; Seibert, Sebastian

Access to full text
Full (PDF)
Full (DJVU)
p. 261-265

Numdam
A weighted HP model for protein folding with diagonal contacts

Böckenhauer, Hans-Joachim ; Bongartz, Dirk

Access to full text
Full (PDF)
Full (DJVU)
p. 375-402

Numdam
Automata, Borel functions and real numbers in Pisot base

Cagnard, Benoit ; Simonnet, Pierre

Access to full text
Full (PDF)
Full (DJVU)
p. 27-44

Numdam
An algorithm for deciding if a polyomino tiles the plane

Gambini, Ian ; Vuillon, Laurent

Access to full text
Full (PDF)
Full (DJVU)
p. 147-155

Numdam
Substitutions par des motifs en dimension 1

Pytheas Fogg, N.

Access to full text
Full (PDF)
Full (DJVU)
p. 267-284

Numdam
Defect theorem in the plane

Moczurad, Włodzimierz

Access to full text
Full (PDF)
Full (DJVU)
p. 403-409

Numdam
Real and complex pseudozero sets for polynomials with applications

Graillat, Stef ; Langlois, Philippe

Access to full text
Full (PDF)
Full (DJVU)
p. 45-56

Numdam
Sequential monotonicity for restarting automata

Jurdziński, Tomasz ; Otto, Friedrich

Access to full text
Full (PDF)
Full (DJVU)
p. 157-175

Numdam
A graph approach to computing nondeterminacy in substitutional dynamical systems

Carlsen, Toke M. ; Eilers, Søren

Access to full text
Full (PDF)
Full (DJVU)
p. 285-306

Numdam
Uniformly bounded duplication codes

Leupold, Peter ; Mitrana, Victor

Access to full text
Full (PDF)
Full (DJVU)
p. 411-424

Numdam
Formally certified floating-point filters for homogeneous geometric predicates

Melquiond, Guillaume ; Pion, Sylvain

Access to full text
Full (PDF)
Full (DJVU)
p. 57-69

Numdam
Three notes on the complexity of model checking fixpoint logic with chop

Lange, Martin

Access to full text
Full (PDF)
Full (DJVU)
p. 177-190

Numdam
Combinatorial and arithmetical properties of infinite words associated with non-simple quadratic Parry numbers

Balková, Lubomíra ; Pelantová, Edita ; Turek, Ondřej

Access to full text
Full (PDF)
Full (DJVU)
p. 307-328

Numdam
Combinatoire de mots récurrents de complexité n+2

Kaboré, Idrissa ; Tapsoba, Théodore

Access to full text
Full (PDF)
Full (DJVU)
p. 425-446

Numdam
Correct rounding of algebraic functions

Brisebarre, Nicolas ; Muller, Jean-Michel

Access to full text
Full (PDF)
Full (DJVU)
p. 71-83

Numdam
Object oriented institutions to specify symbolic computation systems

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

Access to full text
Full (PDF)
Full (DJVU)
p. 191-214

Numdam
On substitution invariant sturmian words : an application of Rauzy fractals

Berthé, Valérie ; Ei, Hiromi ; Ito, Shunji ; Rao, Hui

Access to full text
Full (PDF)
Full (DJVU)
p. 329-349

Numdam
Recursive coalgebras of finitary functors

Adámek, Jiří ; Lücke, Dominik ; Milius, Stefan

Access to full text
Full (PDF)
Full (DJVU)
p. 447-462

Numdam
Fast and correctly rounded logarithms in double-precision

Dinechin, Florent de ; Lauter, Christoph ; Muller, Jean-Michel

Access to full text
Full (PDF)
Full (DJVU)
p. 85-102

Numdam
A periodicity property of iterated morphisms

Honkala, Juha

Access to full text
Full (PDF)
Full (DJVU)
p. 215-223

Numdam
Multiple-precision correctly rounded Newton-Cotes quadrature

Fousse, Laurent

Access to full text
Full (PDF)
Full (DJVU)
p. 103-121

Numdam
Deciding inclusion of set constants over infinite non-strict data structures

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

Access to full text
Full (PDF)
Full (DJVU)
p. 225-241

Numdam