External Links

    Journal: Fundamenta Informaticae

    Volume 125, Issue 1

    1 -- 20Chiheb Ameur Abid, Belhassen Zouari. Local Verification Using a Distributed State Space
    21 -- 49Mariusz Felisiak. Computer Algebra Technique for Coxeter Spectral Study of Edge-bipartite Graphs and Matrix Morsifications of Dynkin Type $\mathbb{A}_n$
    51 -- 70Norihiro Kamide, Ken Kaneiwa. Reasoning about Resources and Information: A Linear Logic Approach
    71 -- 94Armand Stefan Rotaru, Sorin Iftene. A Complete Generalization of Atkin's Square Root Algorithm
    95 -- 99Apoloniusz Tyszka. Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions, if these Solutions form a Finite Set?
    runs on