Numbers

Basic Bibliography Published theses Top keywords Keyword timeline Co-mentors

The table includes keywords of all theses, where this person is in the role of a mentor. Keywords are sorted by the frequency, with most frequent keywords at the top. Most frequent keywords may tell what this mentor's research fields and interests are.

Person: Alexander Keith Simpson

Together there are 27 keywords, that are appearing 27 times.
0 of them (0 % of all) appear more than once, together appearing 0 times (0 % of all appearances).

FrequencyKeyword
Num.%
1xseparacijska logika, denotacijska semantika, trovrednostna logika, tipni sistem, verjetnostno programiranje, dokazovanje pravilnosti, verjetnostna neodvisnost, Turing machine, infinite binary sequence, prefix, prefix-free Turing reducibility, oracle, Cantor space, computably open set, pushforward measure, Martin-Löf random sequence, proper sequence, mutual independence, mehka logika, Łukasiewiczeva logika, semantične igre, igre seznanjanja, okoliš, lokacija, snop, topos, hipoteza kontinuuma