External Links

    Journal: Fundamenta Informaticae

    Volume 125, Issue 2

    101 -- 133Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier. A Resolution Calculus for First-order Schemata
    135 -- 152Jianwu Dong, Feng Chen, Yanyan Huo, Hong Liu. Decomposition and Approximation of Loopy Bayesian Networks
    153 -- 160Rija Erves, Janez Zerovnik. Wide-diameter of Product Graphs
    161 -- 181Maciej Grzeskowiak. Algorithms for Relatively Cyclotomic Primes
    183 -- 222Piotr Kosiuczenko. On the Validation of Invariants at Runtime
    runs on