Works matching IS 18605974 AND DT 2018 AND VI 14 AND IP 1

Results: 5
    1

    A REAL-VALUED MODAL LOGIC.

    Published in:
    Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 1, p. 1, doi. 10.23638/LMCS-14(1:10)2018
    By:
    • DIACONESCU, DENISA;
    • METCALFE, GEORGE;
    • SCHNÜRIGER, LAURA
    Publication type:
    Article
    2

    A LOAD-BUFFER SEMANTICS FOR TOTAL STORE ORDERING.

    Published in:
    Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 1, p. 1, doi. 10.23638/LMCS-14(1:9)2018
    By:
    • ABDULLA, PAROSH AZIZ;
    • ATIG, MOHAMED FAOUZI;
    • BOUAJJANI, AHMED;
    • TUAN PHONG NGO
    Publication type:
    Article
    3
    4

    MENDING FENCES WITH SELF-INVALIDATION AND SELF-DOWNGRADE.

    Published in:
    Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 1, p. 1, doi. 10.23638/LMCS-14(1:6)2018
    By:
    • ABDULLA, PAROSH AZIZ;
    • ATIG, MOHAMED FAOUZI;
    • KAXIRAS, STEFANOS;
    • LEONARDSSON, CARL;
    • ROS, ALBERTO;
    • YUNYUN ZHU
    Publication type:
    Article
    5

    THE HO-ZHAO PROBLEM.

    Published in:
    Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 1, p. 1, doi. 10.23638/LMCS-14(1:7)2018
    By:
    • WENG KIN HO;
    • GOUBAULT-LARRECQ, JEAN;
    • ACHIM JUNG;
    • XIAOYONG XI
    Publication type:
    Article