External Links

    Journal: Inf. Comput.

    Volume 104, Issue 1

    1 -- 0John Mitchell. Preface
    2 -- 34Rajeev Alur, Costas Courcoubetis, David L. Dill. Model-Checking in Dense Real-time
    35 -- 77Rajeev Alur, Thomas A. Henzinger. Real-Time Logics: Complexity and Expressiveness
    78 -- 109R. C. Sekar, I. V. Ramakrishnan. Programming in Equational Logic: Beyond Strong Sequentiality
    110 -- 158Aart Middeldorp. Modular Properties of Conditional Term Rewriting Systems
    runs on