URN:NBN:SI:doc-AC4YWPY92022Petković Komel, Anjadocuments/doc/A/URN_NBN_SI_doc-AC4YWPY9_001.pdfdocuments/doc/A/URN_NBN_SI_doc-AC4YWPY9_001.txt369articlestr. 124-1270473-7466134362883URN:NBN:SI:doc-AC4YWPY9slvDruštvo matematikov, fizikov in astronomov SlovenijeObzornik za matematiko in fizikoInCalgebrajski učinkiAmerican Mathematical SocietyAndrej Bauerhomotopska teorija tipovnagradeprestreznikisintetična izračunljivost