Fingerprint
Dive into the research topics of 'A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces
Jan Schwinghammer, Lars Birkedal, Kristian Støvring