Searching - TalTech Research Portal

display

sort

1

journal article

Ashikhmin, D.N.; Volkov, M.V.; Zhang, Wen Ting. The finite basis problem for Kiselman monoids. Demonstr. Math. 48, No. 4, 475-492 (2015) : [review] [Online resource]Henno, JaakZentralblatt MATH2016 https://zbmath.org/?t=&s=0&q=06516648

journal article

2

book article EST / book article ENG

Bicategories of automata, automata in bicategoriesBoccali, Guido; Laretto, Andrea; Loregian, Fosco; Luneia, Stefano6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 1-19 https://doi.org/10.4204/EPTCS.397.1 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

3

journal article

Brookes, Matthew D. G. K. Congruences on the partial automorphism monoid of a free group action : [review]Henno, JaakzbMATH Open2022 / 1 p https://zbmath.org/1485.20139

journal article

4

journal article

Cain, Alan J.; Maltcev, Victor. Finitely presented monoids with linear Dehn function need not have regular cross-sections. Semigroup Forum 88, No. 2, 300-315 (2014) : [review]Henno, JaakZentralblatt MATH2014 / [1] p

journal article

5

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

6

journal article

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, MarioarXiv.org2023 / p. 39-53 : ill https://doi.org/10.48550/arXiv.2305.02675

journal article

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

7

book article EST / book article ENG

Collages of string diagramsBraithwaite, Dylan; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 39-53 https://doi.org/10.4204/EPTCS.397.3 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

8

book article EST / book article ENG

Cornering opticsBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 97-110 : ill https://doi.org/10.4204/EPTCS.380.6 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.6.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

9

journal article

Cornering optics : preprintBoisseau, Guillaume; Nester, Chad Mitchell; Roman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.00842

journal article

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

10

book article EST / book article ENG

Deductive systems and coherence for skew prounital closed categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-19 https://doi.org/10.48550/arXiv.2101.03809 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

11

journal article

East, J.; Ruškuc, N. Classification of congruences of twisted partition monoids : [review]Henno, JaakzbMATH Open2022 / 1 p https://zbmath.org/1485.20141

journal article

12

journal article

East, James; Mitchell, James D.; Ruškuc, Nik; Torpey, Michael. Congruence lattices of finite diagram monoids : [review]Zentralblatt MATH2018 / [1] p https://zbmath.org/?q=an%3A06898934

journal article

13

journal article EST / journal article ENG

Eilenberg-Kelly reloadedUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2020 / p. 233-256 https://doi.org/10.1016/j.entcs.2020.09.012 Journal metrics at Scopus Article at Scopus Article at WOS

journal article EST / journal article ENG

14

book article EST / book article ENG

Evidential decision theory via partial Markov categoriesDi Lavore, Elena; Roman Garcia, Mario2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) : Boston, MA, USA : 26-29 June 20232023 / 14 p. : ill https://doi.org/10.1109/LICS56636.2023.10175776 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

15

book article

Experimenting with graded monads: certified grading-based program transformationsTalvik, Tõnn; Uustalu, Tarmo24th International Conference on Types for Proofs and Programs : TYPES 2018, Braga, Portugal, 18-21 June, 2018 : abstracts2018 / p. 82-83 https://types2018.projj.eu/book-of-abstracts/

book article

16

book article

A foundation for ledger structuresNester, Chad Mitchell2nd International Conference on Blockchain Economics, Security and Protocols : Tokenomics 2020, October 26–27, 2020, Toulouse, France2021 / art. 7, p. 7:1–7:31 https://doi.org/10.4230/OASIcs.Tokenomics.2020.7

book article

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

17

journal article

Gray, R.D.; Ruškuc, N. On residual finiteness of monoids, their Schützenberger groups and associated actions. J. Algebra 407, 21-45 (2014) : [review]Henno, JaakZentralblatt MATH2015 / [1] p https://zbmath.org/?t=&s=0&q=06335277

journal article

18

journal article

Grensing, Anna-Louise; Mazorchuk, Volodymyr. Categorification of the Catalan monoid. Semigroup Forum 89, No. 1, 155-168 (2014) : [review]Henno, JaakZentralblatt MATH2015 / [1] p

journal article

19

journal article

Gusev, Sergey V. ; Vernikov, Boris M. Two weaker variants of congruence permutability for monoid varieties Semigroup Forum 103, No. 1, 106-152 (2021) : [review]Henno, JaakzbMATH Open2022 / 1 p. https://zbmath.org/1484.20100

journal article

20

journal article

Hemelaer, Jens ; Rogers, Morgan. Solution to a problem of FitzGerald. Semigroup Forum 103, No. 1, 153-164 (2021).Henno, JaakzbMATH Open2022 / 2 p. https://zbmath.org/1484.20111

journal article

21

journal article

Juhász, Arye. Solution of the membership problem of the prefix monoid in certain one-relator groups. Semigroup Forum 89, No. 3, 479-490 (2014) : [review]Henno, JaakZentralblatt MATH2015 / [1] p https://zbmath.org/?t=&s=0&q=06425946

journal article

22

journal article

Li, Jian-Rong; Luo, Yan-Feng. Classification of finitely based words in a class of words over a 3-letter alphabet. Semigroup Forum 91, No. 1, 200-212 (2015) : [review] [Online resource]Henno, JaakZentralblatt MATH2016 https://zbmath.org/?t=&s=0&q=06518151

journal article

23

book article

Logics of skew categorical structuresUustalu, Tarmo; Veltri, Niccolo; Wan, Cheng-SyuanLogic4Peace : fundraising online logic event for peace, April 22-23, 2022 : book of abstracts2022 / p. 81-82 https://events.illc.uva.nl/Logic4Peace/uploaded_files/inlineitem/slides/Uustalu-et-al_L4P-slides.pdf

book article

24

journal article

Masuda, Ariane M.; Quoos, Luciane; Steinberg, Benjamin. Character theory of monoids over an arbitrary field. J. Algebra 431, 107-126 (2015) : [review]Henno, JaakZentralblatt MATH2015 / [1] p

journal article

25

book article EST / book article ENG

Maximally multi-focused proofs for skew non-commutative MILLVeltri, NiccolòLogic, Language, Information, and Computation: 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11–14, 2023 : proceedings2023 / p. 377-393 https://doi.org/10.1007/978-3-031-39784-4_24 Conference proceedings at Scopus Article at Scopus

book article EST / book article ENG

monoidid (subject term)

types of item

subject term 1