Keywords: drevo, urejanje s primerjanjem, izomorfizem, neobrezana drevesa, popolnoma obrezana drevesa, delno obrezana drevesaFull text (file, 1,17 MB)
Keywords: teorija množic, teorija tipov, tip, izomorfizem, identični tip, izjave, aksiom univalentnosti, grupe, množice, konstruktivna logika, relevantnost dokazov, princip strukturne identiteteFull text (file, 845,74 KB)
Keywords: integracija, izomorfizem, grafFull text (file, 353,32 KB)
Keywords: izomorfizem grafov, barvanje, kanonična formaFull text (file, 657,56 KB)
Keywords: podgrafni izomorfizem, graf, preiskovalna ekvivalenca, algoritem, simetrija, optimizacijaFull text (file, 1,23 MB)