Fingerprint
Dive into the research topics of 'A step-indexed Kripke model of hidden state'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A step-indexed Kripke model of hidden state
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang