Searching - TalTech Research Portal

display

sort

75726

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

75727

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

75728

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

75729

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

75730

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

75731

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

75732

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

75733

journal article

ProotonmäluToomsalu, ArvoA & A2008 / lk. 8-15 : ill https://artiklid.elnet.ee/record=b1022653*est

journal article

75734

book article

Proovi voo sisestus kapillaarelektroforeesisKuldvee, RuthXXV Eesti keemiapäevad : teaduskonverentsi ettekannete referaadid = 25th Estonian Chemistry Days : abstracts of scientific conference1999 / lk. 62

book article

75735

book article

Proovide võtmine ja teimimineLemberg, U.; Oll, KülluXIII Eesti geotehnika konverents : artiklid2008 / lk. 38-45

book article

75736

journal article

Proovige, ei kahetseLipre, EndlaNõukogude Naine : EKP Keskkomitee ajakiri1988 / lk. 15 https://www.ester.ee/record=b1181389*est

journal article

75737

journal article

Proovigem!Lipre, EndlaNoorte kalender 19881987 / lk. 182-186 https://www.ester.ee/record=b1535025*est

journal article

75738

journal article

Proovimiseks ehk liigagi uuenduslik tarkvara Revit MEP 2011Puust, RaidoKeskkonnatehnika2010 / 5, lk. 36-38 : ill https://artiklid.elnet.ee/record=b2154952*est

journal article

75739

journal article

Proovimisele alluvad kõik aparaadid : [proovimistunnistused igale raadioaparaadile]Raadio1926 / lk. 156

journal article

75740

journal article

Proovisõit põlevkiviga : [veduri kütteaineks jahvatatud põlevkivipulber]Eesti Tehnika Seltsi Ajakiri1920 / lk. 230-231

journal article

75741

journal article

Prooviteede ehitamisest HarjumaalAmbros, R.Tee ja Tehnika1929 / 10, lk. 149-154; 11, lk. 171-173; Tehnika Ajakiri (1930) 2, lk. 30-31; 4, lk. 60-62

journal article

75742

journal article

Proovitud 60 aparaati : [Riiklikus Katsekojas]Raadio1926 / lk. 156

journal article

75743

journal article

Proovitöid kodumaal valmistatud reaskülvimasinategaKäsebier, A.Põllumajandus1935 / lk. 967

journal article

75744

journal article

Proovitööde aruanne toorlina-harimismasinate võrdlusproovitöö kohtaRitslaid, J.Agronoomia1939 / lk. 39-45

journal article

75745

journal article

Propaganda Aristotelesest tänapäevaniUudelepp, AguRiigikogu Toimetised2005 / lk. 170-176

journal article

75746

journal article

Propaganda ei kao kuhugiUudelepp, AguRiigikogu Toimetised2003 / lk. 155-158 : portr

journal article

75747

journal article

Propaganda instruments in contemporary campaigns : comparison of Estonian political TV advertisements and modern TV commercialsUudelepp, AguThe review of European and Russian affairs2007 / 1, p. 2-18

journal article

75748

dissertation

Propagandainstrumendid poliitilistes ja poliitikavälistes telereklaamidesUudelepp, Agu2008 https://www.ester.ee/record=b2338311*est

dissertation

75749

journal article

Propagandapäev elektrile kodumajapidamises [ja näitus Tallinnas 30. X - 4. XI]Tehnika Kõigile1936 / lk. 170

journal article

75750

dissertation

Propagandateooria ja -tehnikate areng 20. sajandilUudelepp, Agu; Teichmann, Mare2005 https://www.ester.ee/record=b2070853*est

dissertation

types of item