Searching - TalTech Research Portal

display

sort

1

journal article EST / journal article ENG

Bialgebraic foundations for the operational semantics of string diagramsBonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel Maria; Zanasi, FabioInformation and computation2021 / art. 104767, 22 p https://doi.org/10.1016/j.ic.2021.104767 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

2

book article

A Critical Pair Enumeration Algorithm for String Diagram RewritingMatsui, Anna; Obi, Innocent; Sabbagh, Guillaume; Torres, Leo; Kessler, Diana-Maria; Meleiro, Juan F.; Muroya, KokoApplied Category Theory (ACT)2025 / 18 p https://drive.google.com/file/d/10UDhhSA0CxcrZqeT3Pevf5ydCRrye12D/view?pli=1

book article

Related publications 1

Computational aspects of rewriting in higher-dimensional diagrams = Kõrgemamõõtmeliste diagrammide ümberkirjutamise arvutuslikud aspektid

3

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

Related publications 1

Partial and relational algebraic theories = Osalised ja relatsioonilised algebralised teooriad

4

journal article EST / journal article ENG

Ontology merging using the weak unification of conceptsKuusik, Norman; Vain, JüriBig Data and Cognitive Computing2024 / art. 98 https://doi.org/10.3390/bdcc8090098 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

5

book article EST / book article ENG

Pitch glide effect induced by a nonlinear string-barrier interactionKartofelev, Dmitri; Stulov, Anatoli; Välimäki, VesaRecent Developments in Nonlinear Acoustics : 20th International Symposium on Nonlinear Acoustics including the 2nd International Sonic Boom Forum, 29 June–3 July 2015, Écully, France2015 / art. 030004 https://doi.org/10.1063/1.4934387 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

6

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

book article EST / book article ENG

Related publications 1

Languages of string diagrams = Nöördiagrammide keeled

7

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

journal article EST / journal article ENG

Related publications 1

Languages of string diagrams = Nöördiagrammide keeled

8

journal article EST / journal article ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

9

journal article EST / journal article ENG

String diagram rewrite theory II : rewriting with symmetric monoidal structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 511 - 541 https://doi.org/10.1017/S0960129522000317 Journal at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

10

journal article EST / journal article ENG

String diagram rewrite theory III : confluence with and without FrobeniusBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioMathematical structures in computer science2022 / p. 829-869 https://doi.org/10.1017/S0960129522000123 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

11

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

book article EST / book article ENG

Related publications 1

Languages of string diagrams = Nöördiagrammide keeled

12

journal article EST / journal article ENG

Use of simplified bowed string model in physics education : a laboratory experimentVilipuu, Marek; Kartofelev, Dmitri; Kalda, JaanProceedings of Meetings on Acoustics2022 / art. 025001 https://doi.org/10.1121/2.0001628 Conference Proceedings at Scopus Article at Scopus

journal article EST / journal article ENG

13

journal article

Weyl Spinor Field from the Hamilton-Jacobi Formulation of Null StringsKanattšikov, IgorEPL (Europhysics Letters)1990 / p. 577-581 https://doi.org/10.1209/0295-5075/12/7/001

journal article

stringiteooria (subject term)

types of item

subject term 1