Showing 1 - 2 results of 2 for search 'Pottier, F', query time: 0.02s Refine Results
  1. 1
    A Semantic Foundation for Hidden State

    A Semantic Foundation for Hidden State by Schwinghammer, J, Yang, H, Birkedal, L, Pottier, F, Reus, B

    Published 2010
    Conference item
  2. 2
    A Step−Indexed Kripke Model of Hidden State

    A Step−Indexed Kripke Model of Hidden State by Schwinghammer, J, Birkedal, L, Pottier, F, Reus, B, Stovring, K, Yang, H

    Published 2011
    Journal article

Search Tools: