( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Lawvere Categories as Composed PROPs.

, , и . CMCS, том 9608 из Lecture Notes in Computer Science, стр. 11-32. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pawel Urbanski

Pawel Golak

Sascha Pawel

Pawel Durek

Pawel Silberring

 

Другие публикации лиц с тем же именем

String diagram rewrite theory III: Confluence with and without Frobenius., , , , и . Math. Struct. Comput. Sci., 32 (7): 829-869 (августа 2022)Deconstructing Lawvere with distributive laws., , и . J. Log. Algebraic Methods Program., (2018)Foreword: Festschrift for Mogens Nielsen's 60th birthday., , и . Theor. Comput. Sci., 410 (41): 4001-4005 (2009)Relational Presheaves as Labelled Transition Systems.. CMCS, том 7399 из Lecture Notes in Computer Science, стр. 40-50. Springer, (2012)Deriving Structural Labelled Transitions for Mobile Ambients., и . CONCUR, том 5201 из Lecture Notes in Computer Science, стр. 462-476. Springer, (2008)Deconstructing behavioural theories of mobility., и . IFIP TCS, том 273 из IFIP, стр. 507-520. Springer, (2008)Deriving structural labelled transitions for mobile ambients., и . Inf. Comput., 208 (10): 1221-1242 (2010)Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences.. Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, том 04241 из Dagstuhl Seminar Proceedings, IBFI, Schloss Dagstuhl, Germany, (2004)Monoidal Width., и . Log. Methods Comput. Sci., (2023)A categorical approach to open and interconnected dynamical systems, , и . (2015)