A Step-indexed Kripke Model of Hidden State . . .
Cached
Download Links
by
Lars Birkedal
,
Jan Schwinghammer,
,
Kristian Støvring
| Citations: | 7 - 3 self |
Document Versions
| A Step-indexed Kripke Model of Hidden State . . . –Lars Birkedal, Jan Schwinghammer,, Kristian Støvring |
| A Step-indexed Kripke Model of Hidden State via Recursive Properties on Recursively Defined Metric Spaces ⋆ –Jan Schwinghammer, Lars Birkedal, Kristian Støvring |
