Showing 1 - 3 results of 3 for search 'Stovring, K', query time: 0.02s Refine Results
  1. 1
    Step-Indexed Kripke Models over Recursive Worlds

    Step-Indexed Kripke Models over Recursive Worlds by Birkedal, L, Reus, B, Schwinghammer, J, Stovring, K, Thamsborg, J, Yang, H

    Published 2011
    Journal article
  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
  3. 3
    Step−Indexed Kripke Models over Recursive Worlds

    Step−Indexed Kripke Models over Recursive Worlds by Birkedal, L, Reus, B, Schwinghammer, J, Stovring, K, Thamsborg, J, Yang, H

    Published 2011
    Conference item

Search Tools: