Otsing - TalTech teadusportaal

kuva

reasta

26

dissertatsioon

Monoidal context theory = Monoidiliste kontekstide teooriaRoman Garcia, Mario2023 https://doi.org/10.23658/taltech.54/2023 https://digikogu.taltech.ee/et/Item/034fb7d2-c41f-4d12-81a9-4dd792504995 https://www.ester.ee/record=b5645423*est

dissertatsioon

Seotud publikatsioonid 8

27

artikkel ajakirjas EST / artikkel ajakirjas ENG

Monoidal widthDi Lavore, Elena; Sobocinski, Pawel MariaLogical methods in computer science2023 / p. 15:1–15:46 : ill https://doi.org/10.46298/LMCS-19(3:15)2023 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Monoidal width = Monoidiline laius

28

artikkel kogumikus EST / artikkel kogumikus ENG

Monoidal width : capturing rank widthDi Lavore, Elena; Sobocinski, Pawel MariaProceedings Fifth International Conference on Applied Category Theory : Glasgow, Scotland, 18-22 July 20222023 / p. 268-283 : ill https://doi.org/10.4204/EPTCS.380.16 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Monoidal width = Monoidiline laius

29

dissertatsioon

Monoidal width = Monoidiline laiusDi Lavore, Elena2023 https://doi.org/10.23658/taltech.55/2023 https://digikogu.taltech.ee/et/Item/e0ea1b50-07ff-44f4-a498-ef5c22a15502 https://www.ester.ee/record=b5645383*est

dissertatsioon

Seotud publikatsioonid 3

30

artikkel kogumikus EST / artikkel kogumikus ENG

Open diagrams via Coend calculusRoman Garcia, MarioProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 65-78 : ill https://doi.org/10.4204/EPTCS.333.5 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

31

artikkel ajakirjas

Optics for premonoidal categoriesHefford, James; Roman Garcia, MarioarXiv.org2023 / p. 152-171 : ill https://doi.org/10.48550/arXiv.2305.02906

artikkel ajakirjas

32

artikkel kogumikus EST / artikkel kogumikus ENG

Optics for premonoidal categoriesHefford, James; Roman Garcia, Mario6th International Conference on Applied Category Theory, ACT 2023, Hybrid, College Park, 31 July 2023 - 4 August 20232023 / p. 152-171 : ill https://doi.org/10.4204/EPTCS.397.10 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

33

artikkel ajakirjas

The produoidal algebra of process decompositionEarnshaw, Matthew David; Hefford, James; Roman Garcia, MarioarXiv.org2023 / 56 p. : ill https://doi.org/10.48550/arXiv.2301.11867

artikkel ajakirjas

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

34

artikkel kogumikus EST / artikkel kogumikus ENG

Promonads and string diagrams for effectful categoriesRoman Garcia, MarioProceedings Fifth International Conference on Applied Category Theory (ACT 2022), Glasgow, United Kingdom, 18-22 July 20222023 / p. 344−361 https://doi.org/10.4204/EPTCS.380.20 https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ACT2022.20.pdf Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

35

artikkel ajakirjas

Promonads and string diagrams for effectful categories : preprintRoman Garcia, MarioarXiv.org2022 https://doi.org/10.48550/arXiv.2205.07664

artikkel ajakirjas

36

artikkel kogumikus EST / artikkel kogumikus ENG

Proof theory of partially normal skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamProceedings of the 3rd Annual International Applied Category Theory Conference 20202021 / p. 1-17 https://doi.org/10.48550/arXiv.2101.10487 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

37

artikkel kogumikus EST / artikkel kogumikus ENG

Regular monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaLeibniz International Proceedings in Informatics, LIPIcs2022 / p. 44:1-44:14 https://doi.org/10.4230/LIPIcs.MFCS.2022.44 Conference Proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

38

artikkel ajakirjas EST / artikkel ajakirjas ENG

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamElectronic notes in theoretical computer science2018 / p. 345-370 https://doi.org/10.1016/j.entcs.2018.11.017 Journal metrics at Scopus Article at Scopus Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

39

artikkel kogumikus

The sequent calculus of skew monoidal categoriesUustalu, Tarmo; Veltri, Niccolo; Zeilberger, NoamThe interplay of mathematics, logic, and linguistics2021 / p. 377-406 https://doi.org/10.1007/978-3-030-66545-6_11

artikkel kogumikus

40

artikkel kogumikus EST / artikkel kogumikus ENG

Situated transition systemsNester, Chad MitchellarXiv2022 / p. 103-115 https://doi.org/10.4204/EPTCS.372.8 Conference Proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

41

artikkel ajakirjas EST / artikkel ajakirjas ENG

Span(Graph) : a canonical feedback algebra of open transition systemsDi Lavore, Elena; Gianola, Alessandro; Roman Garcia, Mario; Sabadini, Nicoletta; Sobocinski, Pawel MariaSoftware and systems modeling2023 / p. 495-520 : ill https://doi.org/10.1007/s10270-023-01092-7 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Monoidal context theory = Monoidiliste kontekstide teooria

42

artikkel ajakirjas

Stepanova, A.A. ; Chekanov, S.G. Congruence-permutable S-actsHenno, JaakzbMATH Open2022 / 1 p https://zbmath.org/1485.20143

artikkel ajakirjas

43

artikkel kogumikus EST / artikkel kogumikus ENG

String diagrammatic trace theoryEarnshaw, Matthew; Sobocinski, Pawel Maria48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023)2023 / art. 43, 43 p. : ill https://doi.org/10.4230/LIPIcs.MFCS.2023.43 Conference proceeding at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

monoidid (märksõna)

teaviku laadid

märksõna 1