Searching - TalTech Research Portal

display

sort

1

book

An introductory course in summability theoryAasma, Ants; Dutta, Hemen; Natarajan, Pinnangudi N.2017

book

2

book article EST / book article ENG

Coherence via focusing for symmetric skew monoidal categoriesVeltri, NiccoloLogic, Language, Information, and Computation : 27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021 : proceedings2021 / p. 184-200 https://doi.org/10.1007/978-3-030-88853-4_12 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

book article EST / book article ENG

3

journal article EST / journal article ENG

Concurrent process histories and resource transducersNester, Chad MitchellLogical methods in computer science2023 / p. 7:1-7:22 : ill https://doi.org/10.46298/LMCS-19(1:7)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

4

book article

Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaarXiv.org2022 / p. 1-16 : ill https://doi.org/10.48550/arXiv.2207.06765 https://arxiv.org/pdf/2207.06765.pdf

book article

5

book article EST / book article ENG

Fibration linguistics (FibLang) : language acquisitionGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 224-236 : ill https://doi.org/10.4204/EPTCS.380.13 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

6

book article

Fibrational linguistics (FibLang) : first conceptsGenovese, Fabrizio; Loregian, Fosco; Puca, CaterinaarXiv2022 / 22 p. : ill https://doi.org/10.48550/arXiv.2201.01136 https://arxiv.org/pdf/2201.01136.pdf

book article

7

journal article EST / journal article ENG

Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

8

journal article

Palm, Günther. Novelty, information and surprise. (English). Berlin: Springer (ISBN 978-3-642-29074-9/hbk; 978-3-642-29075-6/ebook). xxiii, 248 p. EUR 89.95/net; SFR 120.00; £ 89.95/hbk (2012)Henno, JaakZentralblatt MATH2013 / [1] p

journal article

9

journal article

Protocol choice and iteration for the free corneringNester, Chad Mitchell; Voorneveld, NielsJournal of logical and algebraic methods in programming2024 / art. 100942, 30 p https://doi.org/10.1016/j.jlamp.2023.100942

journal article

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

10

book

Sampling Theory and Applications 2017 : 12th International Conference : Tallinn, Estonia, July 3-7 : program and abstracts2017

book

11

book article

The philosophy of mathematical practices: the role of diagramsMoktefi, AmiroucheFrom φ-science to practical realism: an international conference in honour of Rein Vihalemm (1938–2015) : August 13-14, 2019, University of Tartu, Tartu, Estonia, Jakobi 2, room 336 : book of abstracts2019 / p. 23 https://www.flfi.ut.ee/sites/default/files/fl/book_of_abstracts_0.pdf

book article

12

book article EST / book article ENG

The smash product of monoidal theoriesHadzihasanovic, Amar36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 29 June-2 July 2021, Rome, Italy, virtual : proceedings2021 / art. 9470575, 13 p https://doi.org/10.1109/LICS52264.2021.9470575 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

13

book

2017 International Conference on Sampling Theory and Applications (SampTA) : 12th International Conference : Tallinn, Estonia, July 3-7 : [proceedings] [Online resource]2017

book

14

book

2017 International Conference on Sampling Theory and Applications (SampTA) : 12th International Conference : Tallinn, Estonia, July 3-7 : [abstracts] [Electronic resource]2017

book

15

book article

Täppisteaduste valdkonna aastapreemia tööde tsükli "Algebralised meetodid matemaatilises juhtimisteoorias" eest : Ülle Kotta. Algebralised meetodid matemaatilises juhtimisteooriasKotta, ÜlleEesti Vabariigi preemiad 2018 : teadus. F. J. Wiedemanni keeleauhind. Kultuur. Sport2018 / lk. 76-89 : portr

book article

matemaatilised teooriad (subject term)

types of item

subject term 9