A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces

Jan Schwinghammer, Lars Birkedal, Kristian Støvring

5 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces'. Sammen danner de et unikt fingeraftryk.

Teknik og materialevidenskab