External Links

    Journal: Inf. Comput.

    Volume 154, Issue 2

    93 -- 148Rance Cleaveland, Zeynep Dayar, Scott A. Smolka, Shoji Yuen. Testing Preorders for Probabilistic Processes
    149 -- 166Frank Stephan, Sebastiaan Terwijn. The Complexity of Universal Text-Learners

    Volume 154, Issue 1

    1 -- 33Roberto Grossi, Giuseppe F. Italiano. Efficient Splitting and Merging Algorithms for Order Decomposable Problems
    34 -- 91Joost Engelfriet, Sebastian Maneth. Macro Tree Transducers, Attribute Grammars, and MSO Definable Tree Translations
    runs on