String Diagrammatic Trace Theory

Earnshaw, Matthew, Sobociński, Paweł

Open source

DOI
10.4230/lipics.mfcs.2023.43
Published
2023
Container
Not recorded
Publisher
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Open access
yes

Credibility signals

limited evidence Score 47/100 under policy 1.0.0. This is a metadata assessment, not a judgment of the paper's conclusions.

Show all credibility signals

Cite this work

BibTeX

@article{allodium:10.4230/lipics.mfcs.2023.43,
  title = {String Diagrammatic Trace Theory},
  author = {Earnshaw, Matthew and Sobociński, Paweł},
  year = {2023},
  doi = {10.4230/lipics.mfcs.2023.43},
  url = {https://doi.org/10.4230/lipics.mfcs.2023.43}
}

RIS

TY  - JOUR
TI  - String Diagrammatic Trace Theory
AU  - Earnshaw, Matthew
AU  - Sobociński, Paweł
PY  - 2023
DO  - 10.4230/lipics.mfcs.2023.43
UR  - https://doi.org/10.4230/lipics.mfcs.2023.43
ER  - 

APA

Matthew, E., & Paweł, S. (2023). String Diagrammatic Trace Theory. https://doi.org/10.4230/lipics.mfcs.2023.43

Source records