Searching - TalTech Research Portal

display

sort

26

book article EST / book article 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

book article EST / book article ENG

Related publications 1

Monoidal context theory = Monoidiliste kontekstide teooria

27

book article EST / book article 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

book article EST / book article ENG

28

journal article

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

journal article

29

book article

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

book article

30

journal article EST / journal article 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

journal article EST / journal article ENG

31

book article EST / book article 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

book article EST / book article ENG

32

journal article

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

journal article

33

journal article EST / journal article 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

journal article EST / journal article ENG

34

book

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

book

35

journal article EST / journal article 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

journal article EST / journal article ENG

36

book article EST / book article 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

book article EST / book article ENG

37

journal article EST / journal article 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

journal article EST / journal article ENG

38

book article EST / book article 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

book article EST / book article ENG

39

journal article

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

journal article

40

journal article

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

journal article

41

book article EST / book article 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

book article EST / book article ENG

42

book article EST / book article 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

book article EST / book article ENG

43

book article

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

book article

44

book article EST / book article 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

book article EST / book article ENG

45

journal article

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

journal article

46

journal article

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

journal article

47

book article

"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

book article

48

journal article

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

journal article

49

book article

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

book article

50

book article

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

book article

algebra (subject term)

types of item

keyword 32

subject term 6