External Links

    Journal: Formalized Mathematics

    Volume 28, Issue 4

    263 -- 268Hiroshi Yamazaki. Functional Sequence in Norm Space
    269 -- 278Adrian Jaszczak. General Theory and Tools for Proving Algorithms in Nominative Data Systems
    279 -- 288Adrian Jaszczak. Partial Correctness of an Algorithm Computing Lucas Sequences
    runs on