Sobocinski, Pawel
-
BRICS Report Series Nr. 11 (2004): RS-11 Congruences for Contextual Graph-Rewriting - Artikler
Congruences for Contextual Graph-Rewriting
Resumé PDF (English) -
BRICS Report Series Nr. 1 (2003): RS-1 Deriving Bisimulation Congruences: 2-Categories vs. Precategories - Artikler
Deriving Bisimulation Congruences: 2-Categories vs. Precategories
Resumé PDF (English) -
BRICS Report Series Nr. 18 (2003): RS-18 Syntactic Formats for Free: An Abstract Approach to Process Equivalence - Artikler
Syntactic Formats for Free: An Abstract Approach to Process Equivalence
Resumé PDF (English) -
BRICS Report Series Nr. 31 (2003): RS-31 Adhesive Categories - Artikler
Adhesive Categories
Resumé PDF (English)