A Kleene Theorem for Weighted Tree Automata Manfred DrosteChristian PechHeiko Vogler OriginalPaper 15 September 2004 Pages: 1 - 38
Decidable First-Order Theories of One-Step Rewriting in Trace Monoids Dietrich KuskeMarkus Lohrey OriginalPaper 29 July 2004 Pages: 39 - 81
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
A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines Enrico PontelliDesh Ranjan OriginalPaper 24 November 2004 Pages: 115 - 130