1. Deutsche Phraseme mit der Komponente Nase und ihre Entsprechungen im SlowenischenMelanija Miceska, 2021, diplomsko delo/naloga Ključne besede: German, Slovene, phraseology, phraseological units, levels of equivalence, contrastive analysis, body parts Celotno besedilo (datoteka, 1,40 MB) |
|
3. Classifying homogeneous cellular ordinal balleans up to coarse equivalenceTaras Banakh, Igorʹ Vladimirovič Protasov, Dušan Repovš, Sergiy Slobodianiuk, 2017, izvirni znanstveni članek Ključne besede: coarse space, ballean, cellular ballean, ordinal ballean, homogeneous ballean, coarse equivalence, cellular entourage, asymptotic dimension, Cantor macro-cube Celotno besedilo (datoteka, 600,69 KB) |
4. On the Alexandroff-Borsuk problemMatija Cencelj, Umed H. Karimov, Dušan Repovš, 2017, izvirni znanstveni članek Ključne besede: ANR, finite polyhedron, homotopy equivalence, ▫$\varepsilon$▫-map, cellular map, almost-smooth manifold, ▫$|E_8|$▫-manifold, Kirby-Siebenmann class, Galewski-Stern obstruction, non-triangulable manifold, Alexandroff-Borsuk Manifold Problem Celotno besedilo (datoteka, 563,72 KB) |
|
|
7. Equality between programs with effectsNiels Frits Willem Voorneveld, 2020, doktorska disertacija Ključne besede: Program equivalence, functional programming, call-by-push-value, behavioural logic, modalities, algebraic effects, applicative bisimilarity, Howe’s method, complete lattices Celotno besedilo (datoteka, 2,42 MB) |
8. Deutsche Phraseme mit Komponenten „grün“ und „blau“ und ihre slowenischen EntsprechungenPina Verena Pečuh, 2021, diplomsko delo/naloga Ključne besede: German language, Slovenian language, phraseology, phraseological units, equivalence, contrastive analysis, colours, blue, green. Celotno besedilo (datoteka, 1,29 MB) |
9. A symmetry-breaking node equivalence for pruning the search space in backtracking algorithmsUroš Čibej, Luka Fürst, Jurij Mihelič, 2019, izvirni znanstveni članek Ključne besede: graph equivalence, symmetry breaking, backtracking, monomorphism search, search tree pruning, graph algorithm Celotno besedilo (datoteka, 472,07 KB) Gradivo ima več datotek! Več... |
|