Otsing - TalTech teadusportaal

kuva

reasta

51

artikkel ajakirjas

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

artikkel ajakirjas

52

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

53

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

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

54

artikkel ajakirjas EST / artikkel ajakirjas ENG

Regular planar monoidal languagesEarnshaw, Matthew David; Sobocinski, Pawel MariaJournal of logical and algebraic methods in programming2024 / art. 100963, 20 p. : ill https://doi.org/10.1016/j.jlamp.2024.100963 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

55

artikkel kogumikus EST / artikkel kogumikus ENG

Rewriting for Traced Monoidal Closed CategoriesDi Giorgio, Alessandro; Ghica, Dan R.; Zanasi, FabioGraph Transformation : 18th International Conference, ICGT 2025, Held as Part of STAF 2025, Koblenz, Germany, June 11–12, 2025 : Proceedings2025 / p. 24–43 : ill https://doi.org/10.1007/978-3-031-94706-3_2 Conference proceedings at Scopus Article at Scopus Conference proceedings at WOS Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

56

artikkel kogumikus EST / artikkel kogumikus ENG

Semi-Substructural Logics à la LambekWan, Cheng-SyuanProceedings of 11th International Conference on Nonclassical Logics : Theory and Applications (NCL’24)2024 / p. 195–213 https://doi.org/10.4204/EPTCS.415.18 Conference proceedings at Scopus Article at Scopus

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

57

artikkel ajakirjas EST / artikkel ajakirjas ENG

Semi-substructural logics à la Lambek with symmetryWan, Cheng-SyuanBulletin of the section of logic2026 / p. 519-576 : ill https://doi.org/10.18778/0138-0680.2025.17 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

58

artikkel kogumikus EST / artikkel kogumikus ENG

Semi-substructural logics with additivesVeltri, Niccolo; Wan, Cheng-SyuanProceedings of the 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, 1-2 July, 2023 & 23rd April 20232024 / p. 63-80 https://doi.org/10.4204/EPTCS.402.8 Conference proceedings at Scopus Article at Scopus Article at WOS

artikkel kogumikus EST / artikkel kogumikus ENG

Seotud publikatsioonid 1

Proof theory of semi-substructural logics = Pool-allstruktuursete loogikate tõestusteooria

59

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

60

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

61

artikkel kogumikus EST / artikkel kogumikus ENG

Situated transition systemsNester, Chad MitchellarXiv.org2022 / 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

62

artikkel ajakirjas EST / artikkel ajakirjas ENG

Skew monoidal structures on actegoriesProchazkova, PavlaTheory and Applications of Categories2025 / p. 1282-1315 : ill http://www.tac.mta.ca/tac/volumes/44/38/44-38abs.html Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

63

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

64

artikkel ajakirjas

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

artikkel ajakirjas

65

artikkel kogumikus EST / artikkel kogumikus ENG

String diagrammatic trace theoryEarnshaw, Matthew David; 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

Seotud publikatsioonid 1

Languages of string diagrams = Nöördiagrammide keeled

66

artikkel ajakirjas EST / artikkel ajakirjas ENG

String diagrams for premonoidal categoriesRoman Garcia, Mario; Sobocinski, Pawel MariaLogical methods in computer science2025 / 20 p. : ill https://lmcs.episciences.org/15593/pdf https://doi.org/10.46298/LMCS-21(2:9)2025 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

artikkel ajakirjas EST / artikkel ajakirjas ENG

67

artikkel ajakirjas

Süer, Meral. The catenary degree of the saturated numerical semigroups with prime multiplicity : [review]Henno, JaakZentralblatt MATH2023 / 1 p. https://zbmath.org/1515.20299

artikkel ajakirjas

monoidid (märksõna)

teaviku laadid

märksõna 1