External Links

    Journal: Inf. Comput.

    Volume 204, Issue 12

    1741 -- 1755Arto Salomaa, Sheng Yu. Subword conditions and subword histories
    1756 -- 1781Ernst-Erich Doberkat. Eilenberg-Moore algebras for stochastic relations
    1782 -- 1846Salvador Lucas. Proving termination of context-sensitive rewriting by transformation
    1847 -- 1851Christian Herrmann. Corrigendum to On the undecidability of implications between embedded multivalued database dependencies [Inform. and Comput. 122(1995) 221-235]
    1852 -- 0Jia Meng, Claire Quigley, Lawrence C. Paulson. Erratum to Automation for interactive proof: First prototype [Inform. and Comput. 204(2006) 1575-1596]
    runs on