External Links

    Journal: Inf. Sci.

    Volume 139, Issue 3-4

    165 -- 166Jules Desharnais, Marc Frappier, Ali Jaoua, Wendy MacCaull. Relational methods in computer science - Preface
    167 -- 186Rudolf Berghammer, Thorsten Hoffmann. Relational depth-first-search with applications
    187 -- 195Dexter Kozen, Jerzy Tiuryn. On the completeness of propositional Hoare logic
    197 -- 220Wolfram Kahl. Parallel composition and decomposition of specifications
    221 -- 231Michael Böttner. Multigrade extension of relational grammar
    233 -- 252Michael Winter. A new algebraic approach to L-fuzzy relations convenient to study crispness
    253 -- 273Jules Desharnais, Bernhard Möller. Characterizing determinacy in Kleene algebras
    275 -- 286John L. Pfaltz, Robert E. Jamison. Closure systems and their structure
    runs on