Theoretical Computer Science, Volume 394

Volume 394, Numbers 1-2, March 2008

• Bruno Courcelle, Christian Delhommé:
  The modular decomposition of countable graphs. Definition and construction in monadic second-order logic. 1-38
  Electronic Edition (link) BibTeX

• Yu Zhang:
  Cryptographic logical relations. 39-63
  Electronic Edition (link) BibTeX
• James Laird:
  Decidability and syntactic control of interference. 64-83
  Electronic Edition (link) BibTeX
• Toon Calders:
  Itemset frequency satisfiability: Complexity and axiomatization. 84-111
  Electronic Edition (link) BibTeX
• Flavio D. Garcia, Peter van Rossum:
  Sound and complete computational interpretation of symbolic hashes in the standard model. 112-133
  Electronic Edition (link) BibTeX

• Mojmír Kretínský, Vojtech Rehák, Jan Strejcek:
  Petri nets are less expressive than state-extended PA. 134-140
  Electronic Edition (link) BibTeX

Volume 394, Number 3, April 2008

• Arnold Beckmann, Edwin J. Beggs, Benedikt Löwe:
  From Gödel to Einstein: Computability between logic and physics at CiE 2006. 141-143
  Electronic Edition (link) BibTeX

• Arnon Avron:
  Constructibility and decidability versus domain independence and absoluteness. 144-158
  Electronic Edition (link) BibTeX
• W. Paul Cockshott, Lewis Mackenzie, Greg Michaelson:
  Physical constraints on hypercomputation. 159-174
  Electronic Edition (link) BibTeX
• Willem L. Fouché:
  Dynamics of a generic Brownian motion: Recursive aspects. 175-186
  Electronic Edition (link) BibTeX
• Viv Kendon, Olivier Maloyer:
  Optimal computation with non-unitary quantum walks. 187-196
  Electronic Edition (link) BibTeX
• Peter Koepke, Ryan Siders:
  Minimality considerations for ordinal computers modeling constructibility. 197-207
  Electronic Edition (link) BibTeX
• Benedek Nagy, Sándor Vályi:
  Interval-valued computations and their connection with PSPACE. 208-222
  Electronic Edition (link) BibTeX
• Philip D. Welch:
  Bounding lemmata for non-deterministic halting times of transfinite Turing machines. 223-228
  Electronic Edition (link) BibTeX