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
Be the first to leave a comment!
You must be logged in first