1. A Kleene Theorem for Weighted Tree Automata

   • Manfred Droste
   • Christian Pech
   • Heiko Vogler

   OriginalPaper 15 September 2004 Pages: 1 - 38

2. Decidable First-Order Theories of One-Step Rewriting in Trace Monoids

   • Dietrich Kuske
   • Markus Lohrey

   OriginalPaper 29 July 2004 Pages: 39 - 81

3. NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems

   • Sven Kosub

   OriginalPaper 19 October 2004 Pages: 83 - 113

4. A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines

   • Enrico Pontelli
   • Desh Ranjan

   OriginalPaper 24 November 2004 Pages: 115 - 130