External Links

    Journal: Fundamenta Informaticae

    Volume 173, Issue 4

    0 -- 0Fabio Fioravanti, John P. Gallagher, Maurizio Proietti. Preface
    253 -- 283Thom W. Frühwirth. Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity
    285 -- 314Michael Hanus. Combining Static and Dynamic Contract Checking for Curry
    315 -- 382Stephen Skeirik, Andrei Stefanescu, José Meseguer. A Constructor-Based Reachability Logic for Rewrite Theories

    Volume 173, Issue 2-3

    0 -- 0Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu. Preface
    91 -- 138Viorica Sofronie-Stokkermans. Parametric Systems: Verification and Synthesis
    139 -- 176Ciprian Ionut Paduraru, Gheorghe Stefanescu. ,
    177 -- 189Denisa Diaconescu. Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations
    191 -- 215Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta. A Many-sorted Polyadic Modal Logic
    217 -- 251Georgiana Caltais, Mohammad Reza Mousavi, Hargurbir Singh. Causal Reasoning for Safety in Hennessy Milner Logic

    Volume 173, Issue 1

    1 -- 31Kenji Kashiwabara, Ikumi Horie, Kazunori Yamaguchi. Higher-Order Rank Functions on Directed Graphs
    33 -- 45Cheng-Kuan Lin, Liang Ma, Jianxi Fan, Lih-Hsing Hsu, Yuan-Hsiang Teng. k)-edge-Connectivity on the Hypercubes
    47 -- 72Wojciech Macyna, Michal Kukowski. Flash-Aware Storage of the Column Oriented Databases
    73 -- 89Abdelhamid Tioura, Hamouma Moumen, Hamoudi Kalla, Ahmed Ait Saidi. A Hybrid Protocol to Solve Authenticated Byzantine Consensus
    runs on