External Links

    Journal: Inf. Sci.

    Volume 119, Issue 3-4

    131 -- 133Ali Jaoua, Gunther Schmidt. Relational Methods in Computer Science
    135 -- 154Bernhard Möller. Calculating with Acyclic and Cyclic Lists
    155 -- 171Rudolf Berghammer. Combining Relational Calculus and the Dijkstra-Gries Method for Deriving Relational Programs
    173 -- 191Maarten Marx. Relation Algebras can Tile
    193 -- 203Claudia Hattensperger, Peter Kempf. Towards a Formal Framework for Heterogeneous Relation Algebra
    205 -- 218Jifeng He, C. A. R. Hoare. Linking Theories in Probabilistic Programming
    219 -- 234Sadok Ben Yahia, Habib Ounalli, Ali Jaoua. An Extension of Classical Functional Dependency: Dynamic Fuzzy Functional Dependency
    235 -- 251Yasuo Kawahara, Hitoshi Furusawa, Masao Mori. Categorical Representation Theorems of Fuzzy Relations
    253 -- 273Wolfram Kahl. Relational Matching for Graphical Calculi of Relations
    275 -- 288Jules Desharnais. Monomorphic Characterization of n-ary Direct Products
    289 -- 299Yoshihiro Mizoguchi. Properties of Graphs Preserved by Relational Graph Rewritings
    301 -- 314Michael Winter. A Relation Algebraic Approach to Interaction Categories
    runs on