The following pages link to Paweł Sobociński (Q308154):
Displaying 50 items.
- Interacting Hopf algebras (Q308156) (← links)
- The calculus of signal flow diagrams. I: Linear relations on streams. (Q729807) (← links)
- Subobject transformation systems (Q934672) (← links)
- Monoidal multiplexing (Q1623124) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- Calculational proofs in relational graphical linear algebra (Q2038024) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- Contextual equivalence for signal flow graphs (Q2200814) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- Full Abstraction for Signal Flow Graphs (Q2819836) (← links)
- Deriving Bisimulation Congruences: A 2-categorical Approach (Q2842606) (← links)
- (Q2848079) (← links)
- Connector algebras for C/E and P/T nets' interactions (Q2848361) (← links)
- Nets, Relations and Linking Diagrams (Q2848956) (← links)
- General Reversibility (Q2866345) (← links)
- A Well-behaved LTS for the Pi-calculus (Q2871826) (← links)
- Van Kampen Colimits as Bicolimits in Span (Q2888497) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- Relational Presheaves as Labelled Transition Systems (Q2914675) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Being Van Kampen is a universal property (Q3003317) (← links)
- Adhesivity Is Not Enough: Local Church-Rosser Revisited (Q3088028) (← links)
- WiCcA : LTS Generation Tool for Wire Calculus (Q3090885) (← links)
- A Categorical Semantics of Signal Flow Graphs (Q3190134) (← links)
- Transformation and Refinement of Rigid Structures (Q3192233) (← links)
- Rule Algebras for Adhesive Categories (Q3300790) (← links)
- (Q3396010) (← links)
- (Q3397630) (← links)
- Compositional Reachability in Petri Nets (Q3447710) (← links)
- Deriving Structural Labelled Transitions for Mobile Ambients (Q3541038) (← links)
- Toposes Are Adhesive (Q3541959) (← links)
- Representations of Petri Net Interactions (Q3584955) (← links)
- Quasitoposes, Quasiadhesive Categories and Artin Glueing (Q3612498) (← links)
- (Q4417873) (← links)
- (Q4457841) (← links)
- A categorical approach to open and interconnected dynamical systems (Q4635907) (← links)
- Rewriting modulo symmetric monoidal structure (Q4635934) (← links)
- (Q5013817) (← links)
- String diagram rewrite theory II: Rewriting with symmetric monoidal structure (Q5058366) (← links)
- String Diagram Rewrite Theory I: Rewriting with Frobenius Structure (Q5066951) (← links)
- (Q5079733) (← links)
- Graphical Conjunctive Queries. (Q5079736) (← links)
- Refinement for signal flow graphs (Q5111638) (← links)
- Rewriting with Frobenius (Q5145289) (← links)
- (Q5150076) (← links)
- Making the Unobservable, Unobservable (Q5166617) (← links)
- A Programming Language for Spatial Distribution of Net Systems (Q5166761) (← links)
- Foundations of Software Science and Computation Structures (Q5308456) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
