External Links

    Journal: J. Comput. Syst. Sci.

    Volume 25, Issue 3

    267 -- 284Jan A. Bergstra, J. V. Tucker. Expressiveness and the Completeness of Hoare s Logic
    285 -- 331Takumi Kasai, Raymond E. Miller. Homomorphisms between Models of Parallel Computation
    332 -- 359Christoph M. Hoffmann. Subcomplete Generalizations of Graph Isomorphism
    360 -- 376Wolfgang Thomas. Classifying Regular Events in Symbolic Logic
    377 -- 401Werner Kuich. An Algebraic Characterization of Some Principal Regulated Rational Cones
    402 -- 417Mordechai Ben-Ari, Joseph Y. Halpern, Amir Pnueli. Deterministic Propositional Dynamic Logic: Finite Models, Complexity, and Completeness
    418 -- 435Joost Engelfriet, Sven Skyum. The Copying Power of One-State Tree Transducers
    runs on