Otsing - TalTech teadusportaal

kuva

reasta

26

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

27

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

28

artikkel kogumikus

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

artikkel kogumikus

29

artikkel ajakirjas

Coalgebraic update lensesAhman, Danel; Uustalu, TarmoElectronic notes in theoretical computer science2014 / p. 25-48 : ill

artikkel ajakirjas

30

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

31

artikkel ajakirjas

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

artikkel ajakirjas

32

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

33

raamat

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

raamat

34

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

35

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

36

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

37

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

38

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

39

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

40

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

41

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

42

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

43

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

44

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

45

artikkel ajakirjas

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

artikkel ajakirjas

46

artikkel ajakirjas

Dynamical Poincare algebras and higher spin interaction theorySaar, R.; Ots, I.; Loide, Rein-Karl; Vili, R.Hadronic journal1997 / p. 559-574

artikkel ajakirjas

47

artikkel kogumikus

Effective algebraic analysis approach to linear systems over Ore algebrasCluzeau, T.; Koutschan, C.; Quadrat, A.; Tõnso, MarisAlgebraic and symbolic computation methods in dynamical systems2020 / p. 3-52 https://doi.org/10.1007/978-3-030-38356-5_1

artikkel kogumikus

48

artikkel kogumikus

Escrows are opticsGenovese, Fabrizio; Loregian, Fosco; Palombi, DanielearXiv.org2022 / 16 p. : ill https://doi.org/10.48550/arXiv.2105.10028 https://arxiv.org/pdf/2105.10028.pdf

artikkel kogumikus

49

artikkel ajakirjas EST / artikkel ajakirjas ENG

Extended observer form with vector fieldsMullari, Tanel; Kotta, Ülle; Kaldmäe, Arvo; Kaparin, Vadim; Simha, AshutoshInternational journal of control2023 / 14 p https://doi.org/10.1080/00207179.2023.2274060 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

50

artikkel ajakirjas

First order power-assotiative deformations of Pauli algebraKõiv, Madis; Loide, Rein-KarlEesti NSV Teaduste Akadeemia toimetised. Füüsika. Matemaatika = Известия Академии наук Эстонской ССР. Физика. Математика = Proceedings of Academy of Sciences of the Estonian SSR. Physics. Mathematics1979 / lk. 76-79 https://www.ester.ee/record=b1264310*est

artikkel ajakirjas

algebra (märksõna)

teaviku laadid

võtmesõna 30

märksõna 6