Suchergebnisse - Sobocinski, Pawel

1

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:
2

String Diagrammatic Electrical Circuit Theory von Boisseau, Guillaume, Sobociński, Paweł

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

Connector algebras for C/E and P/T nets' interactions von Bruni, Roberto, Melgratti, Hernan, Montanari, Ugo, Sobocinski, Pawel

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure von Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

Veröffentlicht in Journal of the ACM

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Processes and unfoldings: concurrent computations in adhesive categories von BALDAN, PAOLO, CORRADINI, ANDREA, HEINDEL, TOBIAS, KÖNIG, BARBARA, SOBOCIŃSKI, PAWEŁ

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

Knowledge-Based Management of Virtual Training Scenarios von Flotyński, Jakub, Walczak, Krzysztof, Sobociński, Paweł, Gałązkiewicz, Adam

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

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:
8

String diagram rewrite theory II: Rewriting with symmetric monoidal structure von Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

Veröffentlicht in Mathematical structures in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

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:
10

Being Van Kampen is a universal property von Sobocinski, Pawel, Heindel, Tobias

Veröffentlicht in Logical methods in computer science

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

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:
12

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:
13

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

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

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:
15

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

Volltext
Tagungsbericht

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

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:
17

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:
18

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:
19

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:
20

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:

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

String Diagrammatic Electrical Circuit Theory von Boisseau, Guillaume, Sobociński, Paweł

Connector algebras for C/E and P/T nets' interactions von Bruni, Roberto, Melgratti, Hernan, Montanari, Ugo, Sobocinski, Pawel

String Diagram Rewrite Theory I: Rewriting with Frobenius Structure von Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

Processes and unfoldings: concurrent computations in adhesive categories von BALDAN, PAOLO, CORRADINI, ANDREA, HEINDEL, TOBIAS, KÖNIG, BARBARA, SOBOCIŃSKI, PAWEŁ

Knowledge-Based Management of Virtual Training Scenarios von Flotyński, Jakub, Walczak, Krzysztof, Sobociński, Paweł, Gałązkiewicz, Adam

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

String diagram rewrite theory II: Rewriting with symmetric monoidal structure von Bonchi, Filippo, Gadducci, Fabio, Kissinger, Aleks, Sobocinski, Pawel, Zanasi, Fabio

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

Being Van Kampen is a universal property von Sobocinski, Pawel, Heindel, Tobias

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

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

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

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

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

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

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

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

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

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle