Works matching IS 09601295 AND DT 2013 AND VI 23 AND IP 1

Results: 7
    1
    2
    3
    4
    5
    6
    7

    A step-indexed Kripke model of hidden state.

    Published in:
    Mathematical Structures in Computer Science, 2013, v. 23, n. 1, p. 1, doi. 10.1017/S0960129512000035
    By:
    • SCHWINGHAMMER, JAN;
    • BIRKEDAL, LARS;
    • POTTIER, FRANÇOIS;
    • REUS, BERNHARD;
    • STØVRING, KRISTIAN;
    • YANG, HONGSEOK
    Publication type:
    Article