Searching - TalTech Research Portal

display

sort

76051

journal article

Promonads and string diagrams for effectful categories : preprintRoman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.07664

journal article

76052

book EST / book ENG

Promoting and Advancing Human Rights in Global AI Ecosystems : The Need for A Comprehensive Framework under International Law2025 https://aiethicslab.rutgers.edu/publications/promoting-and-advancing-human-rights-in-global-ai-ecosystems/

book EST / book ENG

76053

journal article EST / journal article ENG

Promoting building materials that have lower embodied carbon and energy in public procurements : experience from EstoniaRebane, Kristel; Reihan, AlvinaManagement of environmental quality : an international journal2016 / p. 722-739 : ill https://doi.org/10.1108/MEQ-07-2015-0154 Journal metrics at Scopus Article at Scopus

journal article EST / journal article ENG

76054

book article

Promoting dynamic interaction of universities and regional stakeholdersBelyakov, Valery; Izosimova, Alexandra; Koski, Ari; Prause, Gunnar Klaus; Rudzite, MarikaBaltic Business and Socio-Economic Development 2007 : 3rd International Conference : Tallinn, Estonia, June 17-19, 20072010 / p. 447-490 : ill

book article

76055

journal article EST / journal article ENG

Promoting efficient district heating in EstoniaLatõšov, Eduard; Umbleja, Siim; Volkova, AnnaUtilities policy2022 / art. 101332, 9. : ill https://doi.org/10.1016/j.jup.2021.101332 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

76056

dissertation

Promoting Estonian speech technology: from resources to prototypesMeister, Einar2003 https://www.ester.ee/record=b1801643*est

dissertation

76057

journal article EST / journal article ENG

Promoting Fintech financing for SME in S. Caucasian and Baltic States during the Covid-19 global pandemicCharaia, Vakhtang; Chochia, Archil; Lashkhi, MariamBusiness Management and Economics Engineering2021 / p. 358-372 https://doi.org/10.3846/bmee.2021.14755 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

76058

book article EST / book article ENG

Promoting healthy and age-friendly communities : Challenges for urban planning and design in EstoniaSalmistu, SirleDesigning Therapeutic Environments : Social and Cultural Practice for Health and Well-Being2025 / 13 p https://doi.org/10.4324/9781003344285-21

book article EST / book article ENG

76059

book article

Promoting universities' 3rd task - recommendations for university-business cooperationHirsikoski, Anna; Koski, Ari; Prause, Gunnar KlausBaltic Business and Socio-Economic Development 2008 : 4th International Conference, Riga, Latvia, September 30-October 2, 20082009 / p. 351-367

book article

76060

journal article

Promotion of seminomatous tumors by targeted overexpression of glial cell line-derived neurotrophic factor in mouse testisMeng, X.; Rooij, D.G. de; Westerdahl, K.; Saarma, Mart; Sariola, H.Cancer research2001 / p. 3267-3271 https://pubmed.ncbi.nlm.nih.gov/11309277/

journal article

76061

book article

Promotion of technology-based innovation and entrepreneurshipLõun, Kaia; Otto, Tauno; Riives, JüriAnnals of DAAAM for 2009 & proceedings of the 20th International DAAAM Symposium "Intelligent Manufacturing & Automation : Focus on Theory, Practice and Education" : 25-28th November 2009, Vienna, Austria2009 / p. 1853-1854 : ill

book article

76062

book article

Promotion of the students' success in higher engineering educationRaud, Zoja; Vodovozov, Valery; Aksjonov, Andrei; Petlenkov, Eduard2017 IEEE 58th International Scientific Conference on Power and Electrical Engineering of Riga Technical University (RTUCON) : proceedings : Latvia, Riga, 12-13 October, 20172017 / [6] p. : ill https://doi.org/10.1109/RTUCON.2017.8124806

book article

76063

book article

Promoveeritavad TTÜ doktorid : 17. september 2003 : [nimekiri]85 aastat Tallinna Tehnikaülikooli2004 / lk. 64-67

book article

76064

book

Pronksiajast läbi rauaaja tänapäeva : tina. PliiKulu, Priit2023 https://www.ester.ee/record=b5557615*est

book

76065

book

Pronksiajast läbi rauaaja tänapäeva. Vask ; Pronksiajast läbi rauaaja tänapäeva. RaudKulu, Priit2019 https://www.ester.ee/record=b5284667*est

book

76066

book

Pronksiajast läbi rauaaja tänapäeva. Hõbe ; Pronksiajast läbi rauaaja tänapäeva. KuldKulu, Priit2022 https://www.ester.ee/record=b5507862*est

book

76067

book article

Pronksiöö tõi küberkaitse õppekava : [magistritaseme õppes TÜ ja TTÜ koostöös]Tisler, EveUniversitas Tartuensis : UT : Tartu Ülikooli ajakiri2010 / märts, lk. 22-23 : fot

book article

76068

journal article

Pronksvärvid ja trükkimine nendegaTrükitehnika1937 / lk. 167-169

journal article

76069

journal article EST / journal article ENG

Proof analysis of Peirce's alpha system of graphsMa, Minghui; Pietarinen, Ahti-VeikkoStudia logica2017 / p. 625-647 : ill https://doi.org/10.1007/s11225-016-9703-y Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

76070

book article EST / book article ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

76071

dissertation

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooriaWan, Cheng-Syuan2025 https://digikogu.taltech.ee/et/Item/34f5f36e-f48f-400b-bca1-2a59ac30c392 https://www.ester.ee/record=b5752421*est https://doi.org/10.23658/taltech.43/2025

dissertation

Related publications 4

76072

book article EST / book article ENG

Proof theory of skew non-commutative MILLUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanProceedings of 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, 14. March, 20222022 / p. 118-135 https://doi.org/10.4204/EPTCS.358.9 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Related publications 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

76073

journal article EST / journal article ENG

A proof-theoretic study of bi-intuitionistic propositional sequent calculusPinto, Luis; Uustalu, TarmoJournal of logic and computation2018 / p. 165-202 https://doi.org/10.1093/logcom/exx044 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

76074

journal article

Proosa meie elus ehk tutvumisretk metallide maailmaPapstel, JüriHorisont1969 / lk. 17-22 : foto https://www.ester.ee/record=b1072243*est https://www.digar.ee/arhiiv/et/perioodika/69605

journal article

76075

book article

Prootoni transport peptiididesMetsala, Andrus; Schlag, E.W.XXIX Eesti keemiapäevad : teaduskonverentsi ettekannete teesid = 29th Estonian Chemistry Days : abstracts of scientific conference2005 / lk. 64-65

book article

types of item