Sobocinski, Pawel
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
2020/12/03 by Filippo Bonchi, Bonchi, Filippo, Fabio Gadducci +7 · 3 citations
Computer Science · #Security and Verification in Computing #Software Testing and Debugging Techniques #Logic, programming, and type systems
- String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
2021/04/29 by Filippo Bonchi, Bonchi, Filippo, Fabio Gadducci +7 · 2 citations
Computer Science · #Advanced Malware Detection Techniques #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Security and Verification in Computing
- Reversing graph transformations
2015/11/03 by Sobocinski, Pawel · 1 citation
- Graphical Conjunctive Queries
2018/04/20 by Bonchi, Filippo, Seeber, Jens, Sobocinski, Pawel · 1 citation
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Bialgebraic Semantics for String Diagrams
2019/06/04 by Filippo Bonchi, Bonchi, Filippo, Robin Piedeleu +5 · 1 voice
Computer Science · Mathematics · #03G99 #Category Theory (math.CT) #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL #math.CT