A Step−Indexed Kripke Model of Hidden StateReport as inadecuate




A Step−Indexed Kripke Model of Hidden State - Download this document for free, or read online. Document in PDF available to download.

Reference: Jan Schwinghammer, Lars Birkedal, Francois Pottier et al., (2011). A Step−Indexed Kripke Model of Hidden State.Citable link to this page:

 

A Step−Indexed Kripke Model of Hidden State

Bibliographic Details

Issue Date: 2011Identifiers

Urn: uuid:300e5fff-7339-4d58-886d-f3a0c3b70814 Item Description

Type: Journal article; Tiny URL: cs:5088

Relationships





Author: Jan Schwinghammer - - - Lars Birkedal - - - Francois Pottier - - - Bernhard Reus - - - Kristian Stovring - - - Hongseok Yang - -

Source: https://ora.ox.ac.uk/objects/uuid:300e5fff-7339-4d58-886d-f3a0c3b70814



DOWNLOAD PDF




Related documents