External Links

    Journal: Inf. Comput.

    Volume 204, Issue 11

    1597 -- 1619Volker Diekert, Paul Gastin. Pure future local temporal logics are expressively complete for Mazurkiewicz traces
    1620 -- 1662Johan van Benthem, Jan van Eijck, Barteld P. Kooi. Logics of communication and change
    1663 -- 1703Emanuel Kieronski. On the complexity of the two-variable guarded fragment with transitive guards
    1704 -- 1717Nir Ailon, Bernard Chazelle. Information theory in property testing and monotonicity testing in higher dimension
    1718 -- 1739Cristian S. Calude, Michael Stay. Natural halting probabilities, partial randomness, and zeta functions
    runs on