Ključne besede: drevo, urejanje s primerjanjem, izomorfizem, neobrezana drevesa, popolnoma obrezana drevesa, delno obrezana drevesaCelotno besedilo (datoteka, 1,17 MB)
Ključne besede: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identiteteCelotno besedilo (datoteka, 845,74 KB)
Ključne besede: integracija, izomorfizem, grafCelotno besedilo (datoteka, 353,32 KB)
Ključne besede: izomorfizem grafov, barvanje, kanonična formaCelotno besedilo (datoteka, 657,56 KB)
Ključne besede: podgrafni izomorfizem, graf, preiskovalna ekvivalenca, algoritem, simetrija, optimizacijaCelotno besedilo (datoteka, 1,23 MB)