View in EDS PDF Full Text

A step-indexed Kripke model of hidden state.

Saved in:
Bibliographic Details
Title: A step-indexed Kripke model of hidden state.
Authors: SCHWINGHAMMER, JAN1, BIRKEDAL, LARS2, POTTIER, FRANÇOIS3, REUS, BERNHARD4, STØVRING, KRISTIAN5, YANG, HONGSEOK6
Source: Mathematical Structures in Computer Science; Feb2013, Vol. 23 Issue 1, p1-54, 54p
Database: Applied Science & Technology Source
Description
ISSN:09601295
DOI:10.1017/S0960129512000035