default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRAIRO - Theoretical Informatics and Applications, Volume 47
Volume 47, Number 1, January 2013
- Ralph Matthes
, Tarmo Uustalu:
Preface. 1-2 - Loredana Afanasiev, Balder ten Cate:
On Core XPath with Inflationary Fixed Points. 3-23 - Pierre Clairambault:
Strong functors and interleaving fixpoints in game semantics. 25-68 - Omer Landry Nguena-Timo, Pierre-Alain Reynier:
On characteristic formulae for Event-Recording Automata. 69-96 - Pawel Parys:
Some results on complexity of µ-calculus evaluation in the black-box model. 97-109 - Lionel Vaux:
A non-uniform finitary relational semantics of system T. 111-132
Volume 47, Number 2, 2013
- Robert Cori, Thi Ha Duong Phan, Tran Thi Thu Huong:
Signed Chip Firing Games and symmetric Sandpile Models on the cycles. 133-146 - Joaquim Gabarró, Alina García, Maria J. Serna:
On the hardness of game equivalence under local isomorphism. 147-169 - Vinícius G. P. de Sá, Davidson R. Boccardo, Luiz Fernando Rust C. Carmo, Raphael C. S. Machado:
A tight bound for exhaustive key search attacks against Message Authentication Codes. 171-180 - Lan Lin, Yixun Lin:
Cutwidth of iterated caterpillars. 181-193 - Francine Blanchet-Sadri, Bob Chen, Sinziana Munteanu:
A note on constructing infinite binary words with polynomial subword complexity. 195-199 - Fabien Durand:
Decidability of the HD0L ultimate periodicity problem. 201-214
Volume 47, Number 3, July 2013
- Francine Blanchet-Sadri, Sean Simmons, Amelia Tebbe, Amy Veprauskas:
Abelian periods, partial words, and an extension of a theorem of Fine and Wilf. 215-234
- Marcin Krzywkowski:
Minimal 2-dominating sets in trees. 235-240 - Viliam Geffert, Dana Pardubská:
Factoring and testing primes in small space. 241-259 - Howard Straubing:
New applications of the wreath product of forest algebras. 261-291 - Sacha Krug:
Analysis of a near-metric TSP approximation algorithm. 293-314
Volume 47, Number 4, October 2013
- Jefferson Luiz Moisés da Silveira, Eduardo Candido Xavier, Flávio Keidi Miyazawa:
A note on a two dimensional knapsack problem with unloading constraints. 315-324 - Jared Adams, Eric Freden, Marni Mishna:
From indexed grammars to generating functions. 325-350 - Ulrike Brandt, Hermann K.-G. Walter:
Cohesiveness in promise problems. 351-369 - Huijuan Wang, Qiaoyan Wen, Jie Zhang:
GLS: New class of generalized Legendre sequences with optimal arithmetic cross-correlation. 371-388
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-07 00:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
