Suchergebnisse - Sobociński, Pawel

1

Adhesive and quasiadhesive categories von Lack, Stephen, Sobociński, Paweł

Veröffentlicht in Informatique théorique et applications (Imprimé)

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

Toposes Are Adhesive von Lack, Stephen, Sobociński, Paweł

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Interacting Hopf algebras von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Veröffentlicht in Journal of pure and applied algebra

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Adhesive Categories von Lack, Stephen, Sobociński, Paweł

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Rule Algebras for Adhesive Categories von Behr, Nicolas, Sobociński, Paweł

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

The Calculus of Signal Flow Diagrams I: Linear relations on streams von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Relational presheaves, change of base and weak simulation von Sobociński, Paweł

Veröffentlicht in Journal of computer and system sciences

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of So... von Kupferman, Orna, Sobocinski, Pawel

Volltext

Buch

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Regular planar monoidal languages von Earnshaw, Matthew, Sobociński, Paweł

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Deriving structural labelled transitions for mobile ambients von Rathke, Julian, Sobociński, Pawel

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Monoidal Width: Capturing Rank Width von Di Lavore, Elena, Sobociński, Paweł

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

High-level axioms for graphical linear algebra von Paixão, João, Rufino, Lucas, Sobociński, Paweł

Veröffentlicht in Science of computer programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Bialgebraic foundations for the operational semantics of string diagrams von Bonchi, Filippo, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio

Veröffentlicht in Information and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Monoidal Width von Di Lavore, Elena, Sobociński, Paweł

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Diagrammatic algebra: from linear to concurrent systems von Bonchi, Filippo, Holland, Joshua, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Deconstructing Lawvere with distributive laws von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Veröffentlicht in Journal of logical and algebraic methods in programming

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

String diagram rewrite theory III: Confluence with and without Frobenius von Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, Fabio

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Span(Graph): a canonical feedback algebra of open transition systems von Di Lavore, Elena, Gianola, Alessandro, Román, Mario, Sabadini, Nicoletta, Sobociński, Paweł

Veröffentlicht in Software and systems modeling

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Compositional model checking of concurrent systems, with Petri nets von Sobociński, Paweł

Veröffentlicht in Electronic proceedings in theoretical computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

Functorial semantics for partial theories von Di Liberti, Ivan, Loregian, Fosco, Nester, Chad, Sobociński, Paweł

Veröffentlicht in Proceedings of ACM on programming languages

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Adhesive and quasiadhesive categories von Lack, Stephen, Sobociński, Paweł

Toposes Are Adhesive von Lack, Stephen, Sobociński, Paweł

Interacting Hopf algebras von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Adhesive Categories von Lack, Stephen, Sobociński, Paweł

Rule Algebras for Adhesive Categories von Behr, Nicolas, Sobociński, Paweł

The Calculus of Signal Flow Diagrams I: Linear relations on streams von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

Relational presheaves, change of base and weak simulation von Sobociński, Paweł

Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of So... von Kupferman, Orna, Sobocinski, Pawel

Regular planar monoidal languages von Earnshaw, Matthew, Sobociński, Paweł

Deriving structural labelled transitions for mobile ambients von Rathke, Julian, Sobociński, Pawel

Monoidal Width: Capturing Rank Width von Di Lavore, Elena, Sobociński, Paweł

High-level axioms for graphical linear algebra von Paixão, João, Rufino, Lucas, Sobociński, Paweł

Bialgebraic foundations for the operational semantics of string diagrams von Bonchi, Filippo, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio

Monoidal Width von Di Lavore, Elena, Sobociński, Paweł

Diagrammatic algebra: from linear to concurrent systems von Bonchi, Filippo, Holland, Joshua, Piedeleu, Robin, Sobociński, Paweł, Zanasi, Fabio

Deconstructing Lawvere with distributive laws von Bonchi, Filippo, Sobociński, Paweł, Zanasi, Fabio

String diagram rewrite theory III: Confluence with and without Frobenius von Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobociński, Paweł, Zanasi, Fabio

Span(Graph): a canonical feedback algebra of open transition systems von Di Lavore, Elena, Gianola, Alessandro, Román, Mario, Sabadini, Nicoletta, Sobociński, Paweł

Compositional model checking of concurrent systems, with Petri nets von Sobociński, Paweł

Functorial semantics for partial theories von Di Liberti, Ivan, Loregian, Fosco, Nester, Chad, Sobociński, Paweł

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle