External Links

    Journal: Theory Comput. Syst.

    Volume 38, Issue 1

    1 -- 38Manfred Droste, Christian Pech, Heiko Vogler. A Kleene Theorem for Weighted Tree Automata
    39 -- 81Dietrich Kuske, Markus Lohrey. Decidable First-Order Theories of One-Step Rewriting in Trace Monoids
    83 -- 113Sven Kosub. NP-Partitions over Posets with an Application to Reducing the Set of Solutions of NP Problems
    115 -- 130Enrico Pontelli, Desh Ranjan. A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines
    runs on