Works matching IS 00015903 AND DT 2024 AND VI 61 AND IP 3


Results: 4
    1
    2
    3

    Invariant relations for affine loops.

    Published in:
    Acta Informatica, 2024, v. 61, n. 3, p. 261, doi. 10.1007/s00236-024-00457-9
    By:
    • Ghardallou, Wided;
    • Mohammadi, Hessamaldin;
    • Linger, Richard C.;
    • Pleszkoch, Mark;
    • Loh, JiMeng;
    • Mili, Ali
    Publication type:
    Article
    4