Otsing - TalTech teadusportaal

kuva

reasta

26

artikkel ajakirjas

Book reviews : Semigroups and automata. SelectaUno Kaljulaid (1941-1999). Edited by Jaak Peetre (Lund, Sweden) and Jaan Penjam (Tallinn, Estonia), 2006, IOS Press, Amsterdam. ISBN 1-58603-582-7Lumiste, ÜloProceedings of the Estonian Academy of Sciences. Physics. Mathematics2006 / p. 189-191

artikkel ajakirjas

27

artikkel kogumikus

Build, augment and destroy, universallyGhani, Neil; Uustalu, Tarmo; Vene, VarmoProgramming Languages and Systems : Second Asian Symposium : APLAS 2004 : Taipei, Taiwan, November 4-6, 2004 : proceedings2004 / p. 327-347 https://www.researchgate.net/publication/221323363_Build_Augment_and_Destroy_Universally

artikkel kogumikus

28

artikkel kogumikus EST / artikkel kogumikus ENG

A canonical algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaFormal aspects of component software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021 : proceedings2021 / p. 63-81 https://doi.org/10.1007/978-3-030-90636-8_4 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

29

artikkel kogumikus EST / artikkel kogumikus ENG

Canonical gradings of monadsBreuvart, Flavien; McDermott, Dylan; Uustalu, TarmoProceedings of the 5th Annual International Applied Category Theory Conference (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 1-21 https://doi.org/10.4204/eptcs.380.1 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4328.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

30

artikkel ajakirjas

Celakoska-Jordanova, Vesna; Celakoska, Emilija; Miovska, Valentina. Free power-semicommutative ternary groupoids : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://zbmath.org/?q=an:1436.08008

artikkel ajakirjas

31

artikkel kogumikus

Coalgebra, cocomposition and cohomologyOziewicz, Zbigniew; Paal, Eugen; Rozanski, JerzyNon-associative algebra and its applications1994 / p. 314-322

artikkel kogumikus

32

artikkel ajakirjas EST / artikkel ajakirjas ENG

Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill https://doi.org/10.1016/j.entcs.2014.10.003 Journal metrics at Scopus Article at Scopus

artikkel ajakirjas EST / artikkel ajakirjas ENG

33

artikkel kogumikus EST / artikkel kogumikus ENG

A coalgebraic view of bar recursion and bar inductionCapretta, Venanzio; Uustalu, TarmoFoundations of Software Science and Computation Structures : 19th International Conference, FOSSACS 2016, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016 : proceedings2016 / p. 91-106 https://doi.org/10.1007/978-3-662-49630-5_6 Conference Proceedings at Scopus Article at Scopus Conference Proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

34

artikkel ajakirjas

Coassociativity, cohomology and Gerstenhaber algebrasPaal, EugenAlgebras, groups and geometries1998 / p. 85-93

artikkel ajakirjas

35

artikkel ajakirjas EST / artikkel ajakirjas ENG

Codensity lifting of monads and its dualKatsumata, Shin-ya; Sato, Tetsuya; Uustalu, TarmoLogical methods in computer science2018 / p. 1-31 https://doi.org/10.23638/LMCS-14(4:6)2018 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

36

raamat

(Co)end CalculusLoregian, Fosco2021 https://doi.org/10.1017/9781108778657

raamat

37

artikkel kogumikus EST / artikkel kogumikus ENG

Coherence for skew-monoidal categoriesUustalu, TarmoProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 68-77 https://doi.org/10.4204/EPTCS.153.5 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

38

artikkel ajakirjas EST / artikkel ajakirjas ENG

Combining algebraic effect descriptions using the tensor of complete latticesVoorneveld, NielsElectronic notes in theoretical computer science2020 / p. 257-281 https://doi.org/10.1016/j.entcs.2020.09.013 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

39

artikkel kogumikus EST / artikkel kogumikus ENG

Completeness for categories of generalized automataBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, Bloomington, 19 June 2023 - 21 June 20232023 / art. 20, 14 p. : ill https://doi.org/10.4230/LIPIcs.CALCO.2023.20 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

40

artikkel ajakirjas EST / artikkel ajakirjas ENG

Constructing higher inductive types as groupoid quotientsVeltri, Niccolo; Weide, Niels van derLogical methods in computer science2021 / p. 8:1−8:42 https://doi.org/10.23638/LMCS-17(2:8)2021 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

41

artikkel kogumikus EST / artikkel kogumikus ENG

Constructive final semantics of finite bagsJoram, Philipp; Veltri, Niccolò14th International Conference on Interactive Theorem Proving, ITP 2023, Bialystok, 31 July 2023 - 4 August 20232023 / art. 20, 19 p https://doi.org/10.4230/LIPIcs.ITP.2023.20 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

42

artikkel ajakirjas

Couceiro, Miguel; Devillet, Jimmy. Every quasitrivial \(n\)-ary semigroup is reducible to a semigroup : [review]Henno, JaakZentralblatt MATH2020 / 1 p https://zbmath.org/?q=an:1446.20084

artikkel ajakirjas

43

artikkel ajakirjas

Davvaz, Bijan; Leoreanu-Fotea, Violeta; Feng, Feng. Redox reactions as experimental examples of ternary weak algebraic hyperstructures : [review]Zentralblatt MATH2018 / [2] p https://zbmath.org/?q=1397.20073

artikkel ajakirjas

44

artikkel kogumikus EST / artikkel kogumikus ENG

Degrading listsMcDermott, Dylan; Pirog, Maciej; Uustalu, TarmoProceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming (PPDP 2020), Part of BOPL 2020 : The Bologna Federated Conference on Programming Languages, 8-10 September 20202020 / art. 6, 14 p https://doi.org/10.1145/3414080.3414084 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

45

artikkel kogumikus EST / artikkel kogumikus ENG

Diagrammatic polyhedral algebraBonchi, Filippo; Di Giorgio, Alessandro; Sobocinski, Pawel Maria41st IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2021)2021 / p. 40:1-40:18 https://doi.org/10.4230/LIPIcs.FSTTCS.2021.40 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

46

artikkel kogumikus EST / artikkel kogumikus ENG

Differential 2-rigsLoregian, Fosco; Trimble, ToddProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 159-182 : ill https://doi.org/10.4204/EPTCS.380.10 Conference proceeding at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

47

artikkel kogumikus

Differential 2-rigsLoregian, Fosco; Trimble, ToddarXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2103.00938 https://msp.cis.strath.ac.uk/act2022/papers/ACT2022_paper_4413.pdf

artikkel kogumikus

48

artikkel ajakirjas

Dodek, W. A.; Trokhimenko, V. S. Menger algebras of idempotent n-ary operations : [review]Henno, JaakzbMATH Open2022 / 1 p https://zbmath.org/1413.20061

artikkel ajakirjas

49

artikkel ajakirjas

Dolinka, Igor. Finite bands are finitely related : [review]Zentralblatt MATH2018 / [1] p https://zbmath.org/?q=06936367

artikkel ajakirjas

50

artikkel kogumikus

"Dynamical" Poincare algebra and higher-spin interaction theoryLoide, Rein-Karl; Saar, R.; Ots, I.; Tammelo, R.Proceedings of the Sixth International Wigner Symposium. 12002 / p. 199-266

artikkel kogumikus

algebra (märksõna)

teaviku laadid

võtmesõna 32

märksõna 6