Fingeraftryk
Dyk ned i forskningsemnerne om 'A step-indexed Kripke model of hidden state'. Sammen danner de et unikt fingeraftryk.- Sorter
- Vægt
- Alfabetisk
A step-indexed Kripke model of hidden state
Jan Schwinghammer, Lars Birkedal, François Pottier, Bernhard Reus, Kristian Støvring, Hongseok Yang