ITA, Tome 47 (2013)

Sommaire

Preface

Matthes, Ralph ; Uustalu, Tarmo

Access to full text
Full (PDF)
Full (DJVU)

p. 1-2

Numdam

Signed Chip Firing Games and symmetric Sandpile Models on the cycles

Cori, Robert ; Duong Phan, Thi Ha ; Huong Tran, Thi Thu

Access to full text
Full (PDF)
Full (DJVU)

p. 133-146

Numdam

Abelian periods, partial words, and an extension of a theorem of Fine and Wilf

Blanchet-Sadri, Francine ; Simmons, Sean ; Tebbe, Amelia ; Veprauskas, Amy

Access to full text
Full (PDF)
Full (DJVU)

p. 215-234

Numdam

A note on a two dimensional knapsack problem with unloading constraints

Moisés da Silveira, Jefferson Luiz ; Xavier, Eduardo Candido ; Miyazawa, Flávio Keidi

Access to full text
Full (PDF)
Full (DJVU)

p. 315-324

Numdam

On Core XPath with Inflationary Fixed Points

Afanasiev, Loredana ; Cate, Balder Ten

Access to full text
Full (PDF)
Full (DJVU)

p. 3-23

Numdam

On the hardness of game equivalence under local isomorphism

Gabarró, Joaquim ; García, Alina ; Serna, Maria

Access to full text
Full (PDF)
Full (DJVU)

p. 147-169

Numdam

Minimal 2-dominating sets in trees

Krzywkowski, Marcin

Access to full text
Full (PDF)
Full (DJVU)

p. 235-240

Numdam

From indexed grammars to generating functions

Adams, Jared ; Freden, Eric ; Mishna, Marni

Access to full text
Full (PDF)
Full (DJVU)

p. 325-350

Numdam

Strong functors and interleaving fixpoints in game semantics

Clairambault, Pierre

Access to full text
Full (PDF)
Full (DJVU)

p. 25-68

Numdam

A tight bound for exhaustive key search attacks against Message Authentication Codes

de SÁ, Vinícius G. P. ; Boccardo, Davidson R. ; Rust, Luiz Fernando ; Machado, Raphael C. S.

Access to full text
Full (PDF)
Full (DJVU)

p. 171-180

Numdam

Factoring and testing primes in small space

Geffert, Viliam ; Pardubská, Dana

Access to full text
Full (PDF)
Full (DJVU)

p. 241-259

Numdam

Cohesiveness in promise problems

Brandt, Ulrike ; Walter, Hermann K.-G.

Access to full text
Full (PDF)
Full (DJVU)

p. 351-369

Numdam

On characteristic formulae for Event-Recording Automata

Nguena Timo, Omer Landry ; Reynier, Pierre-Alain

Access to full text
Full (PDF)
Full (DJVU)

p. 69-96

Numdam

Cutwidth of iterated caterpillars

Lin, Lan ; Lin, Yixun

Access to full text
Full (PDF)
Full (DJVU)

p. 181-193

Numdam

New applications of the wreath product of forest algebras

Straubing, Howard

Access to full text
Full (PDF)
Full (DJVU)

p. 261-291

Numdam

GLS: New class of generalized Legendre sequences with optimal arithmetic cross-correlation

WANG, Huijuan ; WEN, Qiaoyan ; ZHANG, Jie

Access to full text
Full (PDF)
Full (DJVU)

p. 371-388

Numdam

Some results on complexity of

μ

-calculus evaluation in the black-box model

Access to full text
Full (PDF)
Full (DJVU)

p. 97-109

Numdam

A note on constructing infinite binary words with polynomial subword complexity

Blanchet-Sadri, Francine ; Chen, Bob ; Munteanu, Sinziana

Access to full text
Full (PDF)
Full (DJVU)

p. 195-199

Numdam

Analysis of a near-metric TSP approximation algorithm

Access to full text
Full (PDF)
Full (DJVU)

p. 293-314

Numdam

A non-uniform finitary relational semantics of system

T

Access to full text
Full (PDF)
Full (DJVU)

p. 111-132

Numdam

Decidability of the HD0L ultimate periodicity problem

Access to full text
Full (PDF)
Full (DJVU)

p. 201-214

Numdam